Cauder: a causal-consistent reversible debugger for Erlang
From MaRDI portal
Publication:1648893
DOI10.1007/978-3-319-90686-7_16OpenAlexW2799377964WikidataQ57573905 ScholiaQ57573905MaRDI QIDQ1648893
Naoki Nishida, Ivan Lanese, Adrián Palacios, Germán Vidal
Publication date: 9 July 2018
Full work available at URL: https://hal.inria.fr/hal-01912894/file/paper.pdf
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)
Related Items (25)
Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Towards Bridging Time and Causal Reversibility ⋮ Prefix-based tracing in message-passing concurrency ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ revTPL: The Reversible Temporal Process Language ⋮ Causal-consistent replay debugging for message passing programs ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ Reversible computing from a programming language perspective ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels ⋮ A core Erlang semantics for declarative debugging ⋮ Algeo: an algebraic approach to reversibility ⋮ Reversibility in Erlang: imperative constructs ⋮ A reversible debugger for imperative parallel programs with contracts ⋮ Towards causal-consistent reversibility of imperative concurrent programs
Uses Software
This page was built for publication: Cauder: a causal-consistent reversible debugger for Erlang
