03851nam a22005175i 4500 978-3-031-62076-8 DE-He213 20251030112104.0 cr nn 008mamaa 240528s2024 sz | s |||| 0|eng d 9783031620768 978-3-031-62076-8 10.1007/978-3-031-62076-8 doi QA76.9.L63 TK7888.4 UYF bicssc COM036000 bisacsh UYF thema Reversible Computation [electronic resource] : 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings / edited by Torben Ægidius Mogensen, Łukasz Mikulski. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. X, 247 p. 104 illus., 39 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14680 -- 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. 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. Logic design. Logic Design. Mogensen, Torben Ægidius. editor. edt http://id.loc.gov/vocabulary/relators/edt 68746 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X https://orcid.org/0000-0002-6711-557X edt http://id.loc.gov/vocabulary/relators/edt 77638 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031620751 Printed edition: 9783031620775 Lecture Notes in Computer Science, 1611-3349 ; 14680 https://doi.org/10.1007/978-3-031-62076-8 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 60219 60219