Reversible Imperative Parallel Programs and Debugging

DOI10.1007/978-3-030-21500-2_7MaRDI QIDQ5237216zbMATH OpenOpenAlexFDO

Authors James Hoey, Irek Ulidowski

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

debuggingimperative languageinversionparallel compositionreversible computation

Mathematics Subject Classification ID

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

Recommendations

• Reversing imperative parallel programs
• Reversing parallel programs with blocks and procedures
• From reversible semantics to reversible debugging
• Reversible debugging in logic programming
• Running programs backwards: The logical inversion of imperative computation

Cites work

• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A theory of reversibility for Erlang
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent reversibility
• CONCUR 2004 - Concurrency Theory
• Irreversibility and Heat Generation in the Computing Process
• Reverse code generation for parallel discrete event simulation
• Reversibility and asymmetric conflict in event structures
• Reversing algebraic process calculi
• Reversing imperative parallel programs
• Reversing parallel programs with blocks and procedures

Cited in

(10)

• Programs with restoration of computations
• Algeo: an algebraic approach to reversibility
• Reversibility in Erlang: imperative constructs
• Towards causal-consistent reversibility of imperative concurrent programs
• Reversing parallel programs with blocks and procedures
• Reversing place transition nets
• Causal-Consistent Debugging of Distributed Erlang Programs
• Reversibility of Executable Interval Temporal Logic Specifications
• Reversible debugging in logic programming
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives

Describes a project that uses

Uses Software

• CauDEr

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

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