Reversible Programs Have Reversible Semantics

DOI10.1007/978-3-030-54997-8_26MaRDI QIDQ6485502zbMATH OpenFDO

Authors Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Publication date 7 December 2022

Published in 1509.68034 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-54997-8_26

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• A reversible semantics for Erlang
• Towards a reversible functional language
• A certified study of a reversible programming language
• What do reversible programs compute?
• \(\mathsf{CoreFun}\): a typed functional reversible core language

Cited in

(13)

• Programs with restoration of computations
• Reversible computation in term rewriting
• Reversible object-oriented programming with region-based memory management (work in progress report)
• From reversible programming languages to reversible metalanguages
• A reversible semantics for Erlang
• Reversible computing from a programming language perspective
• Towards a reversible functional language
• A certified study of a reversible programming language
• Reversible term rewriting
• Towards a dereversibilizer: fewer asserts, statically
• Categorical semantics of reversible pattern-matching
• Semantics for a Turing-complete reversible programming language with inductive types
• Universal properties of partial quantum maps

This page was built for publication: Reversible Programs Have Reversible Semantics

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