000 03851nam a22005175i 4500
001 978-3-031-62076-8
003 DE-He213
005 20251030112104.0
007 cr nn 008mamaa
008 240528s2024 sz | s |||| 0|eng d
020 _a9783031620768
_9978-3-031-62076-8
024 7 _a10.1007/978-3-031-62076-8
_2doi
050 4 _aQA76.9.L63
050 4 _aTK7888.4
072 7 _aUYF
_2bicssc
072 7 _aCOM036000
_2bisacsh
072 7 _aUYF
_2thema
245 1 0 _aReversible Computation
_h[electronic resource] :
_b16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings /
_cedited by Torben Ægidius Mogensen, Łukasz Mikulski.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aX, 247 p. 104 illus., 39 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14680
505 0 _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.
520 _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.
650 0 _aLogic design.
650 1 4 _aLogic Design.
700 1 _aMogensen, Torben Ægidius.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_968746
700 1 _aMikulski, Łukasz.
_eeditor.
_0(orcid)0000-0002-6711-557X
_1https://orcid.org/0000-0002-6711-557X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_977638
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031620751
776 0 8 _iPrinted edition:
_z9783031620775
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14680
856 4 0 _uhttps://doi.org/10.1007/978-3-031-62076-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c60219
_d60219