Reversing imperative parallel programs

MaRDI QIDQ5014800zbMATH OpenFDO

Authors James Hoey, Irek Ulidowski, Shoji Yuen

Publication date 8 December 2021

Full work available at URL https://arxiv.org/abs/1709.00828, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Running programs backwards: The logical inversion of imperative computation
• From reversible semantics to reversible debugging
• Causal-consistent reversibility
• A grammar-based approach to invertible programs
• Bounding the number of processors and checkpoints needed in time-minimal parallel reversal schedules

Cites work

• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Functional and Logic Programming
• Irreversibility and Heat Generation in the Computing Process
• Reverse code generation for parallel discrete event simulation
• Reversing algebraic process calculi
• Transitions and trees. An introduction to structural operational semantics.

Cited in

(2)

• scientific article; zbMATH DE number 7447775 (Why is no real title available?)
• Reversible Imperative Parallel Programs and Debugging

This page was built for publication: Reversing imperative parallel programs

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