Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings (Lecture Notes in Computer Science Book 11106)

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. Front Matter ....Pages I-XIII Front Matter ....Pages 1-1 Physical Foundations of Landauer’s Principle (Michael P. Frank)....Pages 3-33 From Reversible Semantics to Reversible Debugging (Ivan Lanese)....Pages 34-46 Finite-State Classical Mechanics (Norman Margolus)....Pages 47-60 On Aperiodic Reversible Turing Machines (Invited Talk) (Nicolas Ollinger)....Pages 61-64 Front Matter ....Pages 65-65 On Reversibility and Broadcast (Claudio Antares Mezzina)....Pages 67-83 Reversible Computation in Petri Nets (Anna Philippou, Kyriaki Psara)....Pages 84-101 Event Structure Semantics of (controlled) Reversible CCS (Eva Graversen, Iain Phillips, Nobuko Yoshida)....Pages 102-122 Simulation of Base Excision Repair in the Calculus of Covalent Bonding (Stefan Kuhn)....Pages 123-129 Front Matter ....Pages 131-131 A Unified Approach to Quantum Computation and Classical Reversible Computation (Alexis De Vos, Stijn De Baerdemacker)....Pages 133-143 ZX-Rules for 2-Qubit Clifford+T Quantum Circuits (Bob Coecke, Quanlong Wang)....Pages 144-161 Quantum Circuits for Floating-Point Arithmetic (Thomas Haener, Mathias Soeken, Martin Roetteler, Krysta M. Svore)....Pages 162-174 SAT-based {CNOT, T} Quantum Circuit Synthesis (Giulia Meuli, Mathias Soeken, Giovanni De Micheli)....Pages 175-188 Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons (Kevin D. Osborn, Waltraut Wustmann)....Pages 189-204 Finding the Redundant Gates in Reversible Circuits (Matthias Pfuhl, Jörg Ritter, Paul Molitor)....Pages 205-219 Multi-objective Synthesis of Quantum Circuits Using Genetic Programming (Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler)....Pages 220-227 Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures (Wakaki Hattori, Shigeru Yamashita)....Pages 228-243 QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report) (Alwin Zulehner, Robert Wille)....Pages 244-250 Front Matter ....Pages 251-251 Garbage-Free Reversible Multiplication and Division (Torben Ægidius Mogensen)....Pages 253-268 Data Structures and Dynamic Memory Management in Reversible Languages (Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen)....Pages 269-285 Checkpoint/Rollback vs Causally-Consistent Reversibility (Martin Vassor, Jean-Bernard Stefani)....Pages 286-303 \(\mathsf {CoreFun}\): A Typed Functional Reversible Core Language (Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen)....Pages 304-321 Reversible Object-Oriented Programming with Region-Based Memory Management (Ulrik Pagh Schultz)....Pages 322-328 Front Matter ....Pages 329-329 Encryption and Reversible Computations (Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen)....Pages 331-338 A Library of Reversible Circuit Transformations (Work in Progress) (Christian Hutslar, Jacques Carette, Amr Sabry)....Pages 339-345 Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications (Harun Siljak)....Pages 346-352 Back Matter ....Pages 353-353