Reversible Imperative Parallel Programs and Debugging

DOI10.1007/978-3-030-21500-2_7OpenAlexW2952291984MaRDI QIDQ5237216

Irek Ulidowski, James Hoey

Publication date: 17 October 2019

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21500-2_7

zbMATH Keywords

inversiondebuggingreversible computationparallel compositionimperative language

Mathematics Subject Classification ID

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

Related Items (7)

Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ Reversibility of Executable Interval Temporal Logic Specifications ⋮ Unnamed Item ⋮ Algeo: an algebraic approach to reversibility ⋮ Reversibility in Erlang: imperative constructs ⋮ Towards causal-consistent reversibility of imperative concurrent programs

Uses Software

• CauDEr

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility and asymmetric conflict in event structures
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• Reversing algebraic process calculi
• Reverse Code Generation for Parallel Discrete Event Simulation
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• CONCUR 2004 - Concurrency Theory

This page was built for publication: Reversible Imperative Parallel Programs and Debugging