Tetsuo Yokoyama
Tetsuo Yokoyama
Department of Software Engineering, Nanzan University
Verified email at acm.org
TitleCited byYear
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
1292007
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th conference on Computing frontiers, 43-54, 2008
1172008
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
582007
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
522011
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
422009
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
422008
Reversible computation and reversible programming languages
T Yokoyama
Electronic Notes in Theoretical Computer Science 253 (6), 71-81, 2010
352010
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
192016
Fundamentals of reversible flowchart languages
RG Tetsuo Yokoyama, Holger Bock Axelsen
Theoretical Computer Science 611, 87-115, 2016
192016
Deterministic second-order patterns
T Yokoyama, Z Hu, M Takeichi
Information Processing Letters 89 (6), 309-314, 2004
192004
Program optimizations and transformations in calculation form
Z Hu, T Yokoyama, M Takeichi
International Summer School on Generative and Transformational Techniques in …, 2005
152005
A linear-time self-interpreter of a reversible imperative language
R Glück, T Yokoyama
Information and Media Technologies 11, 160-180, 2016
132016
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
112010
Optimizing Reversible Simulation of Injective Functions.
T Yokoyama, HB Axelsen, R Glück
Journal of Multiple-Valued Logic & Soft Computing, 2012
102012
Calculation rules for warming-up in fusion transformation
T Yokoyama, Z Hu, M Takeichi
Trends in Func. Programming, 399-41, 2005
102005
A minimalist's reversible while language
R Glück, T Yokoyama
IEICE TRANSACTIONS on Information and Systems 100 (5), 1026-1034, 2017
92017
Programming techniques for reversible comparison sorts
HB Axelsen, T Yokoyama
Asian Symposium on Programming Languages and Systems, 407-426, 2015
92015
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
Analyzing and optimizing energy efficiency of algorithms on dvs systems a first step towards algorithmic energy minimization
T Yokoyama, G Zeng, H Tomiyama, H Takada
Proceedings of the 2009 Asia and South Pacific Design Automation Conference …, 2009
52009
Yicho: A system for programming program calculations
T Yokoyama, Z Hu, M Takeichi
52002
The system can't perform the operation now. Try again later.
Articles 1–20