Reversibility in Erlang: imperative constructs

DOI10.1007/978-3-031-09005-9_13MaRDI QIDQ2097430zbMATH OpenOpenAlexFDO

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

Publication date 11 November 2022

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

zbMATH Keywords

causalitydebuggingErlangreversible computing

Mathematics Subject Classification ID

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

Cites work

• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A theory of reversibility for Erlang
• An axiomatic approach to reversible computation
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-Consistent Debugging of Distributed Erlang Programs
• Causal-consistent rollback in a tuple-based language
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Irreversibility and Heat Generation in the Computing Process
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible Imperative Parallel Programs and Debugging

Cited in

(5)

• A theory of reversibility for Erlang
• revTPL: The Reversible Temporal Process Language
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives
• An axiomatic theory for reversible computation
• Causal reversibility implies time reversibility

Describes a project that uses

Uses Software

• CauDEr
• Erlang
• GitHub

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

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