Advertisement

Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

  • Jarkko Kari
  • Irek Ulidowski

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Norman Margolus
      Pages 47-60
  3. Reversible Concurrent Computation

    1. Front Matter
      Pages 65-65
    2. Claudio Antares Mezzina
      Pages 67-83
    3. Anna Philippou, Kyriaki Psara
      Pages 84-101
    4. Eva Graversen, Iain Phillips, Nobuko Yoshida
      Pages 102-122
  4. Quantum Circuits

    1. Front Matter
      Pages 131-131
    2. Alexis De Vos, Stijn De Baerdemacker
      Pages 133-143
    3. Bob Coecke, Quanlong Wang
      Pages 144-161
    4. Thomas Haener, Mathias Soeken, Martin Roetteler, Krysta M. Svore
      Pages 162-174
    5. Giulia Meuli, Mathias Soeken, Giovanni De Micheli
      Pages 175-188
    6. Matthias Pfuhl, Jörg Ritter, Paul Molitor
      Pages 205-219
    7. Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
      Pages 220-227
  5. Reversible Programming Languages

    1. Front Matter
      Pages 251-251
    2. Torben Ægidius Mogensen
      Pages 253-268
    3. Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen
      Pages 269-285
    4. Martin Vassor, Jean-Bernard Stefani
      Pages 286-303
    5. Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen
      Pages 304-321
  6. Applications

    1. Front Matter
      Pages 329-329
    2. Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen
      Pages 331-338
    3. Christian Hutslar, Jacques Carette, Amr Sabry
      Pages 339-345
  7. Back Matter
    Pages 353-353

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.
The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.

Keywords

Artificial intelligence Causal Reversibility Circuit Design Computer programming Energy Efficiency Hardware Logic Synthesis Physical Reversibility Problem solving Programming languages Quantum Circuits Quantum Computing Reversible Arithmetic Reversible Cellular Automata Reversible Computing Reversible Process Algebra Reversible Programming Languages Semantics Software engineering Wireless telecommunications systems

Editors and affiliations

  1. 1.University of TurkuTurkuFinland
  2. 2.University of LeicesterLeicesterUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-99498-7
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99497-0
  • Online ISBN 978-3-319-99498-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site