Reversible Computation

5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

  • Gerhard W. Dueck
  • D. Michael Miller
Conference proceedings RC 2013

DOI: 10.1007/978-3-642-38986-3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7948)

Table of contents (20 papers)

  1. Front Matter
  2. Invited Address

  3. Physical Implementation

    1. Reversible Delay-Insensitive Distributed Memory Modules
      Daniel Morrison, Irek Ulidowski
      Pages 11-24
    2. Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier
      Ismo Hänninen, Hao Lu, Craig S. Lent, Gregory L. Snider
      Pages 25-35
    3. Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits
      Samer Houri, Alexandre Valentian, Hervé Fanet
      Pages 36-45
  4. Arithmetic

    1. Strength of the Reversible, Garbage-Free 2k ±1 Multiplier
      Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen
      Pages 46-57
    2. Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures
      Mehdi Saeedi, Alireza Shafaei, Massoud Pedram
      Pages 58-69
  5. Programming and Data Structures

    1. Reversible Representation and Manipulation of Constructor Terms in the Heap
      Holger Bock Axelsen, Robert Glück
      Pages 96-109
    2. An Introduction to Quantum Programming in Quipper
      Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
      Pages 110-124
  6. Modelling

    1. Modelling of Bonding with Processes and Events
      Iain Phillips, Irek Ulidowski, Shoji Yuen
      Pages 141-154
    2. Universal Gates in Other Universes
      Jonathan A. Poritz
      Pages 155-167
    3. Time-Symmetric Machines
      Martin Kutrib, Thomas Worsch
      Pages 168-181
  7. Synthesis and Optimization

    1. Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure
      Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler
      Pages 182-195
    2. White Dots do Matter: Rewriting Reversible Logic Circuits
      Mathias Soeken, Michael Kirkedal Thomsen
      Pages 196-208
    3. Exploiting Negative Control Lines in the Optimization of Reversible Circuits
      Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
      Pages 209-220
    4. Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
      Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
      Pages 221-233
  8. Alternative Technologies

    1. Quantum Process Calculus for Linear Optical Quantum Computing
      Sonja Franke-Arnold, Simon J. Gay, Ittoop V. Puthoor
      Pages 234-246

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.


circuit optimization formal methods probabilistic computation quantum computing reversible circuits

Editors and affiliations

  • Gerhard W. Dueck
    • 1
  • D. Michael Miller
    • 2
  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada
  2. 2.Department of Computer ScienceUniversity of Victoria,VictoriaCanada

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38985-6
  • Online ISBN 978-3-642-38986-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349