03673nam 22006615 450 991058015840332120250425144044.03-031-09005-510.1007/978-3-031-09005-9(MiAaPQ)EBC7023498(Au-PeEL)EBL7023498(CKB)24094269600041(PPN)268858527(DE-He213)978-3-031-09005-9(EXLCZ)992409426960004120220617d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierReversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /edited by Claudio Antares Mezzina, Krzysztof Podlaski1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (245 pages)Lecture Notes in Computer Science,1611-3349 ;13354Print version: Mezzina, Claudio Antares Reversible Computation Cham : Springer International Publishing AG,c2022 9783031090042 Includes bibliographical references and index.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.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.Lecture Notes in Computer Science,1611-3349 ;13354Logic designSoftware engineeringMachine theoryComputer systemsLogic DesignSoftware EngineeringFormal Languages and Automata TheoryComputer System ImplementationLogic design.Software engineering.Machine theory.Computer systems.Logic Design.Software Engineering.Formal Languages and Automata Theory.Computer System Implementation.004.015113004Mezzina Claudio AntaresPodlaski KrzysztofMiAaPQMiAaPQMiAaPQBOOK9910580158403321Reversible Computation2889238UNINA