Tetsuo Yokoyama
Tetsuo Yokoyama
Department of Software Engineering, Nanzan University
Bestätigte E-Mail-Adresse bei acm.org
Titel
Zitiert von
Zitiert von
Jahr
A reversible programming language and its invertible self-interpreter
T Yokoyama, R Glück
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
1562007
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
1342008
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
682007
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
612011
Reversible computation and reversible programming languages
T Yokoyama
Electronic Notes in Theoretical Computer Science 253 (6), 71-81, 2010
512010
Reversible flowchart languages and the structured reversible program theorem
T Yokoyama, HB Axelsen, R Glück
International Colloquium on Automata, Languages, and Programming, 258-270, 2008
502008
Practical energy-aware scheduling for real-time multiprocessor systems
G Zeng, T Yokoyama, H Tomiyama, H Takada
2009 15th IEEE International Conference on Embedded and Real-Time Computing …, 2009
462009
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
242016
A linear-time self-interpreter of a reversible imperative language
R Glück, T Yokoyama
Information and Media Technologies 11, 160-180, 2016
242016
Fundamentals of reversible flowchart languages
RG Tetsuo Yokoyama, Holger Bock Axelsen
Theoretical Computer Science 611, 87-115, 2016
242016
Deterministic second-order patterns
T Yokoyama, Z Hu, M Takeichi
Information Processing Letters 89 (6), 309-314, 2004
222004
A minimalist's reversible while language
R Glück, T Yokoyama
IEICE TRANSACTIONS on Information and Systems 100 (5), 1026-1034, 2017
142017
Program optimizations and transformations in calculation form
Z Hu, T Yokoyama, M Takeichi
International Summer School on Generative and Transformational Techniques in …, 2005
132005
Optimizing Reversible Simulation of Injective Functions.
T Yokoyama, HB Axelsen, R Glück
Journal of Multiple-Valued Logic & Soft Computing, 2012
122012
Calculation rules for warming-up in fusion transformation
T Yokoyama, Z Hu, M Takeichi
the 2005 Symposium on Trends in Functional Programming, TFP 2005, Tallinn …, 2005
112005
Static task scheduling algorithms based on greedy heuristics for battery-powered DVS systems
T Yokoyama, G Zeng, H Tomiyama, H Takada
IEICE transactions on information and systems 93 (10), 2737-2746, 2010
102010
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Asian Symposium on Programming Languages and Systems, 407-426, 2015
92015
Constructing a binary tree from its traversals by reversible recursion and iteration
R Glück, T Yokoyama
Information Processing Letters 147, 32-37, 2019
72019
Deterministic higher-order patterns for program transformation
T Yokoyama, Z Hu, M Takeichi
International Symposium on Logic-Based Program Synthesis and Transformation …, 2003
72003
Minimizing garbage size by generating reversible simulations
T Yokoyama, HB Axelsen, R Glück
2012 Third International Conference on Networking and Computing, 379-387, 2012
62012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20