Reversible Computation

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.

. - 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.