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

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