Reversible Computation

16th International Conference, RC 2024, Toru¿, Poland, July 4¿5, 2024, Proceedings
Herausgegeben:Mogensen, Torben Ægidius; Mikulski, Lukasz

• Broschiertes Buch

Produktbeschreibung

This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4-5, 2024.

The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.

Produktdetails

• Lecture Notes in Computer Science 14680
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-62075-1
• 2024
• Seitenzahl: 260
• Erscheinungstermin: 6. Juni 2024
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 400g
• ISBN-13: 9783031620751
• ISBN-10: 3031620755
• Artikelnr.: 70485825

Inhaltsangabe

.- Invited Papers.
.- Causal Debugging for Concurrent Systems (Tutorial).
.- Compositional Reversible Computation.
.- Models of Reversible Computation.
.- Algorithmically expressive, always-terminating model for reversible computation.
.- A toy model provably featuring an arrow of time without past hypothesis.
.- Reversibility with holes.
.- Experiments in Reversible Programming.
.- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
.- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip.
.- Reversible and Quantum Programming Languages.
.- A Small-Step Semantics for Janus.
.- Jeopardy: An Invertible Functional Programming Language.
.- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
.- Connecting Reversible and Classical Computing through Hybrid SSA.
.- Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
.- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language.
.- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?.
.- Model Checking Reversible Systems: Forwardly.
.- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.