Reversible Computation

1. Front Matter

   Pages I-VIII

   PDF

2. Invited Paper

   1. Front Matter

      Pages 1-1

      PDF

   2. Moment Semantics for Reversible Rule-Based Systems

      • Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

      Pages 3-26

3. Reversible Machines

   1. Front Matter

      Pages 27-27

      PDF

   2. A Hierarchy of Fast Reversible Turing Machines

      • Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher

      Pages 29-44

   3. Real-Time Methods in Reversible Computation

      • Tommi Pesu, Iain Phillips

      Pages 45-59

   4. Reversible Ordered Restarting Automata

      • Friedrich Otto, Matthias Wendlandt, Kent Kwee

      Pages 60-75

4. Reversible Languages

   1. Front Matter

      Pages 77-77

      PDF

   2. Garbage Collection for Reversible Functional Languages

      • Torben Ægidius Mogensen

      Pages 79-94

   3. Reverse Code Generation for Parallel Discrete Event Simulation

      • Markus Schordan, David Jefferson, Peter Barnes, Tomas Oppelstrup, Daniel Quinlan

      Pages 95-110

   4. Towards a Domain-Specific Language for Reversible Assembly Sequences

      • Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen

      Pages 111-126

5. Design and Verification of Quantum Circuits

   1. Front Matter

      Pages 127-127

      PDF

   2. Reversibility in Extended Measurement-Based Quantum Computation

      • Nidhal Hamrit, Simon Perdrix

      Pages 129-138

   3. A Fully Fault-Tolerant Representation of Quantum Circuits

      • Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt

      Pages 139-154

   4. Equational Reasoning About Quantum Protocols

      • Simon J. Gay, Ittoop V. Puthoor

      Pages 155-170

6. Design of Reversible Circuits

   1. Front Matter

      Pages 171-171

      PDF

   2. Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking

      • Ismo K. Hänninen, César O. Campos-Aguillón, Rene Celis-Cordova, Gregory L. Snider

      Pages 173-185

   3. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits

      • Yuma Inoue, Shin-ichi Minato

      Pages 186-199

   4. Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics

      • Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken

      Pages 200-215

7. Circuit Synthesis

   1. Front Matter

      Pages 217-217

      PDF

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

• algorithms
• circuit complexity
• circuit optimization
• dynamic programming
• formal methods
• graph rewriting
• hardware description languages
• operational semantics
• probabilistic computation
• quantum circuits
• quantum computing
• quantum logic
• reversible circuits
• reversible computing
• reversible logic
• reversible models of computation
• reversible programming languages
• stochastic processes
• term rewriting
• verification

• CNRS and Université Paris Diderot, Paris, France

  Jean Krivine

• Inria, St. Ismier Cedex, France

  Jean-Bernard Stefani

Policies and ethics