Tetsuo Yokoyama
Tetsuo Yokoyama
Department of Software Engineering, Nanzan University
Verified email at acm.org
Title
Cited by
Cited by
Year
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
1412007
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th conference on Computing frontiers, 43-54, 2008
1252008
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
612007
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
552011
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
472008
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
442009
Reversible computation and reversible programming languages
T Yokoyama
Electronic Notes in Theoretical Computer Science 253 (6), 71-81, 2010
412010
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
212016
Fundamentals of reversible flowchart languages
RG Tetsuo Yokoyama, Holger Bock Axelsen
Theoretical Computer Science 611, 87-115, 2016
212016
Deterministic second-order patterns
T Yokoyama, Z Hu, M Takeichi
Information Processing Letters 89 (6), 309-314, 2004
202004
A linear-time self-interpreter of a reversible imperative language
R Glück, T Yokoyama
Information and Media Technologies 11, 160-180, 2016
162016
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 minimalist's reversible while language
R Glück, T Yokoyama
IEICE TRANSACTIONS on Information and Systems 100 (5), 1026-1034, 2017
112017
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
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
Deterministic higher-order patterns for program transformation
T Yokoyama, Z Hu, M Takeichi
International Symposium on Logic-Based Program Synthesis and Transformation …, 2003
62003
Heuristics for static voltage scheduling algorithms on battery-powered DVS systems
T Yokoyama, G Zeng, H Tomiyama, H Takada
2009 International Conference on Embedded Software and Systems, 265-272, 2009
52009
The system can't perform the operation now. Try again later.
Articles 1–20