From reversible semantics to reversible debugging

DOI10.1007/978-3-319-99498-7_2MaRDI QIDQ1796364zbMATH OpenOpenAlexFDO

Authors Ivan Lanese

Publication date 17 October 2018

Full work available at URL https://hal.inria.fr/hal-01912920/file/main.pdf

Mathematics Subject Classification ID

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

Recommendations

• A reversible semantics for Erlang
• The reversible temporal process language
• Concurrency and reversibility
• A modular formalization of reversibility for concurrent models and languages
• Causal-consistent reversibility

Cited in

(18)

• Cauder: a causal-consistent reversible debugger for Erlang
• Concurrencies in reversible concurrent calculi
• The reversible temporal process language
• An axiomatic approach to reversible computation
• A reversible semantics for Erlang
• Concurrency and reversibility
• scientific article; zbMATH DE number 3980460 (Why is no real title available?)
• Reverse Execution of Java Bytecode
• Causal-consistent reversibility
• Causal-consistent replay reversible semantics for message passing concurrent programs
• A case for dynamic reverse-code generation to debug non-deterministic programs
• Reversing imperative parallel programs
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Reversible Imperative Parallel Programs and Debugging
• revTPL: The Reversible Temporal Process Language
• The correctness of concurrencies in (reversible) concurrent calculi
• Reversible debugging in logic programming
• Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels

This page was built for publication: From reversible semantics to reversible debugging

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