Towards causal-consistent reversibility of imperative concurrent programs

DOI10.1007/978-3-031-09005-9_15MaRDI QIDQ2097433zbMATH OpenOpenAlexFDO

Authors James Hoey, Irek Ulidowski

Publication date 11 November 2022

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

zbMATH Keywords

backtracking reversibilitycausal-consistent reversibilityreversible computation

Mathematics Subject Classification ID

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

Cites work

• An axiomatic approach to reversible computation
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent replay reversible semantics for message passing concurrent programs
• CONCUR 2004 - Concurrency Theory
• Fundamentals of reversible flowchart languages
• Reversible Imperative Parallel Programs and Debugging
• Reversing algebraic process calculi

Cited in

(6)

• Reversibility in session-based concurrency: a fresh look
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Towards a taxonomy for reversible computation approaches
• Saving memory space in deep neural networks by recomputing: a survey
• CRIL: a concurrent reversible intermediate language

Describes a project that uses

Uses Software

• CauDEr

This page was built for publication: Towards causal-consistent reversibility of imperative concurrent programs

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