1 option
Reversible Computation : 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 13354
- Language:
- English
- Subjects (All):
- Logic design.
- Software engineering.
- Machine theory.
- Computer systems.
- Logic Design.
- Software Engineering.
- Formal Languages and Automata Theory.
- Computer System Implementation.
- Local Subjects:
- Logic Design.
- Software Engineering.
- Formal Languages and Automata Theory.
- Computer System Implementation.
- Physical Description:
- 1 online resource (245 pages)
- Edition:
- 1st ed. 2022.
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2022.
- Summary:
- 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.
- Contents:
- 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.
- Notes:
- Includes bibliographical references and index.
- Other Format:
- Print version: Mezzina, Claudio Antares Reversible Computation
- ISBN:
- 3-031-09005-5
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.