Reversible Computation

4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Editors:

ISBN: 978-3-642-36314-6 (Print) 978-3-642-36315-3 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. Theoretical Considerations

    1. No Access

      Book Chapter

      Pages 1-13

      Tutorial: Graphical Calculus for Quantum Circuits

    2. No Access

      Book Chapter

      Pages 14-28

      One-Way Reversible Multi-head Finite Automata

    3. No Access

      Book Chapter

      Pages 29-43

      A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads

    4. No Access

      Book Chapter

      Pages 44-56

      Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

  3. Reversible Software and Languages

    1. No Access

      Book Chapter

      Pages 57-71

      Isomorphic Interpreters from Logically Reversible Abstract Machines

    2. No Access

      Book Chapter

      Pages 72-84

      Synthesizing Loops for Program Inversion

    3. No Access

      Book Chapter

      Pages 85-96

      Frugal Encoding in Reversible \(\mathcal{MOQA}\) : A Case Study for Quicksort

    4. No Access

      Book Chapter

      Pages 97-111

      Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots

  4. Reversible and Quantum Circuits

    1. No Access

      Book Chapter

      Pages 112-124

      Reversible and Quantum Circuit Optimization: A Functional Approach

    2. No Access

      Book Chapter

      Pages 125-137

      Properties of Quantum Templates

    3. No Access

      Book Chapter

      Pages 138-151

      Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits

    4. No Access

      Book Chapter

      Pages 152-159

      Design of an Online Testable Ternary Circuit from the Truth Table

  5. Physical Realizations and Design

    1. No Access

      Book Chapter

      Pages 160-170

      Garbageless Reversible Implementation of Integer Linear Transformations

    2. No Access

      Book Chapter

      Pages 171-182

      Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1

    3. No Access

      Book Chapter

      Pages 183-196

      Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

    4. No Access

      Book Chapter

      Pages 197-203

      Using πDDs in the Design of Reversible Circuits

  6. Distributed Systems

    1. No Access

      Book Chapter

      Pages 204-217

      A Verification Technique for Reversible Process Algebra

    2. No Access

      Book Chapter

      Pages 218-232

      A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

    3. No Access

      Book Chapter

      Pages 233-240

      Controlled Reversibility and Compensations

  7. Back Matter

    Pages -