Advertisement

Reversible Computation

7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

  • Jean Krivine
  • Jean-Bernard Stefani
Conference proceedings RC 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9138)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
      Pages 3-26
  3. Reversible Machines

    1. Front Matter
      Pages 27-27
    2. Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher
      Pages 29-44
    3. Tommi Pesu, Iain Phillips
      Pages 45-59
    4. Friedrich Otto, Matthias Wendlandt, Kent Kwee
      Pages 60-75
  4. Reversible Languages

    1. Front Matter
      Pages 77-77
    2. Torben Ægidius Mogensen
      Pages 79-94
    3. Markus Schordan, David Jefferson, Peter Barnes, Tomas Oppelstrup, Daniel Quinlan
      Pages 95-110
    4. 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
    2. Nidhal Hamrit, Simon Perdrix
      Pages 129-138
    3. Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt
      Pages 139-154
    4. Simon J. Gay, Ittoop V. Puthoor
      Pages 155-170
  6. Design of Reversible Circuits

    1. Front Matter
      Pages 171-171
    2. Ismo K. Hänninen, César O. Campos-Aguillón, Rene Celis-Cordova, Gregory L. Snider
      Pages 173-185
  7. Circuit Synthesis

    1. Front Matter
      Pages 217-217
    2. Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
      Pages 219-232
    3. Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
      Pages 248-264
  8. Short Papers

    1. Front Matter
      Pages 265-265
    2. Samer Houri, Gerard Billiot, Marc Belleville, Alexandre Valentian, Herve Fanet
      Pages 267-272
    3. Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille
      Pages 273-278
    4. Stefan Kuhn, Irek Ulidowski
      Pages 279-284
  9. Back Matter
    Pages 291-291

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Jean Krivine
    • 1
  • Jean-Bernard Stefani
    • 2
  1. 1.CNRS and Université Paris DiderotParisFrance
  2. 2.InriaSt. Ismier CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-20860-2
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-20859-6
  • Online ISBN 978-3-319-20860-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site