`Travelled to:`

1 × France

1 × Germany

1 × Iceland

1 × Portugal

1 × Sweden

`Collaborated with:`

R.Glück Z.Hu M.Takeichi ∅ H.B.Axelsen

`Talks about:`

program (5) revers (4) languag (3) transform (2) determinist (1) interpret (1) flowchart (1) structur (1) theorem (1) pattern (1)

## Person: Tetsuo Yokoyama

### DBLP: Yokoyama:Tetsuo

### Contributed to:

### Wrote 5 papers:

- BX-2011-Yokoyama #programming language
- A reversible programming language (TY), p. 65.
- ICALP-B-2008-YokoyamaAG #theorem
- Reversible Flowchart Languages and the Structured Reversible Program Theorem (TY, HBA, RG), pp. 258–270.
- PEPM-2007-YokoyamaG #programming language #self
- A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
- GTTSE-2005-HuYT #optimisation
- Program Optimizations and Transformations in Calculation Form (ZH, TY, MT), pp. 144–168.
- LOPSTR-2003-YokoyamaHT #higher-order #program transformation
- Deterministic Higher-Order Patterns for Program Transformation (TY, ZH, MT), pp. 128–142.