| 2008 |
|---|
| 8 | EE | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Principles of a reversible programming language.
Conf. Computing Frontiers 2008: 43-54 |
| 7 | EE | Tetsuo Yokoyama,
Holger Bock Axelsen,
Robert Glück:
Reversible Flowchart Languages and the Structured Reversible Program Theorem.
ICALP (2) 2008: 258-270 |
| 2007 |
|---|
| 6 | EE | Holger Bock Axelsen,
Robert Glück,
Tetsuo Yokoyama:
Reversible Machine Code and Its Abstract Processor Architecture.
CSR 2007: 56-69 |
| 5 | EE | Tetsuo Yokoyama,
Robert Glück:
A reversible programming language and its invertible self-interpreter.
PEPM 2007: 144-153 |
| 2006 |
|---|
| 4 | EE | Zhenjiang Hu,
Tetsuo Yokoyama,
Masato Takeichi:
Program Optimizations and Transformations in Calculation Form.
GTTSE 2006: 144-168 |
| 2004 |
|---|
| 3 | EE | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Deterministic second-order patterns.
Inf. Process. Lett. 89(6): 309-314 (2004) |
| 2003 |
|---|
| 2 | EE | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation.
LOPSTR 2003: 128-142 |
| 2002 |
|---|
| 1 | | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Yicho - A System for Programming Program Calculations.
APLAS 2002: 366-382 |
