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.