Reversible Computation : 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / / edited by Claudio Antares Mezzina, Krzysztof Podlaski

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
• Edizione: 1st ed. 2022.
• Descrizione fisica: 1 online resource (245 pages)
• Disciplina: 004.015113; 004
• Soggetto topico: Logic design; Software engineering; Machine theory; Computer systems; Logic Design; Software Engineering; Formal Languages and Automata Theory; Computer System Implementation
• Persona (resp. second.): MezzinaClaudio Antares; PodlaskiKrzysztof
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Reversible Computation
• ISBN: 3-031-09005-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910580158403321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 13354