Author of the publication

A Reversible Processor Architecture and Its Reversible Logic Design.

, , and . RC, volume 7165 of Lecture Notes in Computer Science, page 30-42. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generating Optimizing Specializers., and . ICCL, page 183-194. IEEE Computer Society, (1994)An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update., , , and . FLOPS, volume 12073 of Lecture Notes in Computer Science, page 159-178. Springer, (2020)Implementing Reversible Object-Oriented Language Features on Reversible Machines., , and . RC, volume 10301 of Lecture Notes in Computer Science, page 66-73. Springer, (2017)Reasoning about Hierarchies of Online Program Specialization Systems., and . Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, page 161-182. Springer, (1996)Reversible Programs Have Reversible Semantics., , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 413-427. Springer, (2019)An Automatic Program Inverter for Lisp: Potential and Limitations., and . APLAS, page 230-245. (2002)Jones Optimality and the Strength of Program Specializers.. APLAS, page 103-116. (2001)Reversible Flowchart Languages and the Structured Reversible Program Theorem., , and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 258-270. Springer, (2008)Efficient Multi-level Generating Extensions for Program Specialization, and . PLILP, volume 982 of Lecture Notes in Computer Science, page 259-278. Springer, (1995)A Practical Simulation Result for Two-Way Pushdown Automata.. CIAA, volume 9705 of Lecture Notes in Computer Science, page 113-124. Springer, (2016)