A reversible semantics for Janus

DOI10.1007/978-3-032-30839-9_11MaRDI QIDQ7411935zbMATH OpenFDO

Authors Ivan Lanese, Germán Vidal

Publication date 2026

Full work available at URL https://doi.org/10.1007/978-3-032-30839-9_11

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• \(\mathsf{CoreFun}\): a typed functional reversible core language
• A small-step semantics for Janus
• A theory of reversibility for Erlang
• CONCUR 2004 - Concurrency Theory
• Deriving a lazy abstract machine
• scientific article; zbMATH DE number 515739 (Why is no real title available?)
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7--8, 2016. Proceedings
• Reversible object-oriented programming with region-based memory management (work in progress report)
• Reversing algebraic process calculi
• Towards a domain-specific language for reversible assembly sequences
• Towards a reversible functional language

This page was built for publication: A reversible semantics for Janus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411935)