TY  - BOOK
AU  - Mezzina,Claudio Antares
AU  - Podlaski,Krzysztof
TI  - Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031090059
U1  - 621.395 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Logic design
KW  - Software engineering
KW  - Machine theory
KW  - Computer systems
KW  - Logic Design
KW  - Software Engineering
KW  - Formal Languages and Automata Theory
KW  - Computer System Implementation
N1  - Reversible and Quantum Circuits -- Reversible computation in integrated photonics -- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates -- Constructing all qutrit controlled Clifford+T gates in Clifford+T -- Fast Control for Reversible Processors -- Designing a Reversible Stack Machine -- Applications of Quantum Computing -- Directed Graph Encoding in Quantum Computing supporting Edge-Failures -- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think -- Foundations and Applications -- Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean -- Algeo: An Algebraic Approach to Reversibility -- Concurrencies in Reversible Concurrent Calculi -- The @-Calculus -- Formal Translation from Reversing Petri Nets to Coloured Petri Nets -- Reversibility in Erlang: Imperative Constructs -- A Reversible Debugger for Imperative Parallel Programs with Contracts -- Towards Causal-consistent Reversibility of Imperative Concurrent Programs
N2  - This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum Computing; Foundations and Applications
UR  - https://doi.org/10.1007/978-3-031-09005-9
ER  -