Causal-Consistent Debugging of Distributed Erlang Programs

DOI10.1007/978-3-030-79837-6_5MaRDI QIDQ5162602zbMATH OpenOpenAlexFDO

Authors Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-03338670/file/paper-rc2021.pdf

zbMATH Keywords

debuggingreversible computingdistributed computationactor model

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• A theory of reversibility for Erlang
• CONCUR 2004 - Concurrency Theory
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Causal-consistent reversibility
• Controlling Reversibility in Higher-Order Pi
• Declarative debugging of concurrent Erlang programs
• Erlang programming.
• Irreversibility and Heat Generation in the Computing Process
• Reversible Imperative Parallel Programs and Debugging

Cited in

(7)

• revTPL: The Reversible Temporal Process Language
• The reversible temporal process language
• Reversibility in Erlang: imperative constructs
• Declarative debugging of concurrent Erlang programs
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives
• Causal debugging for concurrent systems
• Debugging distributed programs using controlled re-execution

This page was built for publication: Causal-Consistent Debugging of Distributed Erlang Programs

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