Reversing parallel programs with blocks and procedures

MaRDI QIDQ3384916zbMATH OpenFDO

Authors James Hoey, Irek Ulidowski, Shoji Yuen

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1808.08651, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reversing imperative parallel programs
• Reversible Imperative Parallel Programs and Debugging
• Running programs backwards: The logical inversion of imperative computation
• Towards a reversible functional language
• A grammar-based approach to invertible programs

Cites work

• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Causal-consistent reversibility
• CONCUR 2004 - Concurrency Theory
• Functional and Logic Programming
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• Reverse code generation for parallel discrete event simulation
• Reversing algebraic process calculi
• Reversing imperative parallel programs
• Transitions and trees. An introduction to structural operational semantics.

Cited in

(6)

• Programs with restoration of computations
• A reversible debugger for imperative parallel programs with contracts
• From reversible programming languages to reversible metalanguages
• Reversibility of Executable Interval Temporal Logic Specifications
• Reversible Imperative Parallel Programs and Debugging
• Saving memory space in deep neural networks by recomputing: a survey

This page was built for publication: Reversing parallel programs with blocks and procedures

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