Cauder: a causal-consistent reversible debugger for Erlang
From MaRDI portal
Recommendations
Cited in
(38)- Towards bridging time and causal reversibility
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversibility in process calculi with nondeterminism and probabilities
- A core Erlang semantics for declarative debugging
- revTPL: The Reversible Temporal Process Language
- Reversible computing from a programming language perspective
- Static versus dynamic reversibility in CCS
- Prefix-based tracing in message-passing concurrency
- A parametric framework for reversible \(\pi\)-calculi
- Noninterference analysis of reversible systems: an approach based on branching bisimilarity
- Global reproducibility through local control for distributed active objects
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- A theory of reversibility for Erlang
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Reversibility in Erlang: imperative constructs
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- Causal debugging for concurrent systems
- Jeopardy: an invertible functional programming language
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Event structure semantics of (controlled) reversible CCS
- Causal-Consistent Debugging of Distributed Erlang Programs
- Causal-consistent replay debugging for message passing programs
- Reversible Imperative Parallel Programs and Debugging
- An axiomatic theory for reversible computation
- Forward-reverse observational equivalences in CCSK
- The reversible temporal process language
- Relating reversible Petri nets and reversible event structures, categorically
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Relating reversible Petri nets and reversible event structures, categorically
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Causal-consistent replay reversible semantics for message passing concurrent programs
- A reversible debugger for imperative parallel programs with contracts
- Algeo: an algebraic approach to reversibility
- Towards causal-consistent reversibility of imperative concurrent programs
- Causal reversibility implies time reversibility
- Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
This page was built for publication: Cauder: a causal-consistent reversible debugger for Erlang
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648893)
