03656nam a22004695i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001500172050001300187072001600200072002300216072001500239245019700254250001800451264006900469300006400538336002600602337002600628338003600654347002400690490005900714505126100773520057002034650001802604650001802622700009502640700015402735710003402889773002602923776003602949776003602985830005903021856004603080912001403126912001503140912001403155999001703169978-3-031-62076-8DE-He21320251030112104.0cr nn 008mamaa240528s2024    sz |    s    |||| 0|eng d  a97830316207689978-3-031-62076-87 a10.1007/978-3-031-62076-82doi 4aQA76.9.L63 4aTK7888.4 7aUYF2bicssc 7aCOM0360002bisacsh 7aUYF2thema10aReversible Computationh[electronic resource] :b16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings /cedited by Torben Ægidius Mogensen, Łukasz Mikulski.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aX, 247 p. 104 illus., 39 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v146800 a -- 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.  aThis 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. 0aLogic design.14aLogic Design.1 aMogensen, Torben Ægidius.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9687461 aMikulski, Łukasz.eeditor.0(orcid)0000-0002-6711-557X1https://orcid.org/0000-0002-6711-557X4edt4http://id.loc.gov/vocabulary/relators/edt9776382 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303162075108iPrinted edition:z9783031620775 0aLecture Notes in Computer Science,x1611-3349 ;v1468040uhttps://doi.org/10.1007/978-3-031-62076-8  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c60219d60219