Towards causal-consistent reversibility of imperative concurrent programs

DOI10.1007/978-3-031-09005-9_15OpenAlexW4293210797MaRDI QIDQ2097433

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

reversible computationcausal-consistent reversibilitybacktracking reversibility

Mathematics Subject Classification ID

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

Related Items (2)

Towards a taxonomy for reversible computation approaches ⋮ Saving memory space in deep neural networks by recomputing: a survey

Uses Software

• CauDEr

Cites Work

• Fundamentals of reversible flowchart languages
• Cauder: a causal-consistent reversible debugger for Erlang
• An axiomatic approach to reversible computation
• Reversing algebraic process calculi
• Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
• Reversible Imperative Parallel Programs and Debugging
• CONCUR 2004 - Concurrency Theory

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