Reversibility in Erlang: imperative constructs

DOI10.1007/978-3-031-09005-9_13OpenAlexW4293210206MaRDI QIDQ2097430

Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti, Pietro Lami

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_13

zbMATH Keywords

causalityErlangdebuggingreversible computing

Mathematics Subject Classification ID

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

Related Items (2)

revTPL: The Reversible Temporal Process Language ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives

Uses Software

• Erlang
• GitHub
• CauDEr

Cites Work

• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Causal-consistent rollback in a tuple-based language
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• An axiomatic approach to reversible computation
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• Causal-Consistent Debugging of Distributed Erlang Programs
• Reversible Imperative Parallel Programs and Debugging
• CONCUR 2004 - Concurrency Theory

This page was built for publication: Reversibility in Erlang: imperative constructs