TY  - BOOK
AU  - Mogensen,Torben Ægidius
AU  - Mikulski,Łukasz
ED  - SpringerLink (Online service)
TI  - Reversible Computation: 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031620768
AV  - QA76.9.L63 
U1  - 621.395 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Logic design
KW  - Logic Design
N1  -  -- 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
N2  - This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-62076-8
ER  -