Tetsuo Yokoyama
Tetsuo Yokoyama
Department of Electronics and Communication Technology
Verified email at
Cited by
Cited by
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
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
Computer Science–Theory and Applications: Second International Symposium on …, 2007
Reversible computation and reversible programming languages
T Yokoyama
Electronic Notes in Theoretical Computer Science 253 (6), 71-81, 2010
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
Reversible flowchart languages and the structured reversible program theorem
T Yokoyama, HB Axelsen, R Glück
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
Fundamentals of reversible flowchart languages
RG Tetsuo Yokoyama, Holger Bock Axelsen
Theoretical Computer Science 611, 87-115, 2016
A linear-time self-interpreter of a reversible imperative language
R Glück, T Yokoyama
Information and Media Technologies 11, 160-180, 2016
Deterministic second-order patterns
T Yokoyama, Z Hu, M Takeichi
Information Processing Letters 89 (6), 309-314, 2004
A minimalist's reversible while language
R Glück, T Yokoyama
IEICE TRANSACTIONS on Information and Systems 100 (5), 1026-1034, 2017
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
Optimizing Reversible Simulation of Injective Functions.
T Yokoyama, HB Axelsen, R Glück
Journal of Multiple-Valued Logic & Soft Computing 18 (1), 2012
Reversible computing from a programming language perspective
R Glück, T Yokoyama
Theoretical Computer Science 953, 113429, 2023
Program optimizations and transformations in calculation form
Z Hu, T Yokoyama, M Takeichi
Generative and Transformational Techniques in Software Engineering …, 2006
Reversible programs have reversible semantics
R Glück, R Kaarsgaard, T Yokoyama
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
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
Constructing a binary tree from its traversals by reversible recursion and iteration
R Glück, T Yokoyama
Information Processing Letters 147, 32-37, 2019
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
Deterministic higher-order patterns for program transformation
T Yokoyama, Z Hu, M Takeichi
Logic Based Program Synthesis and Transformation: 13th International …, 2004
The system can't perform the operation now. Try again later.
Articles 1–20