A formal approach to undo operations in programming languages

DOI10.1145/5001.5005MaRDI QIDQ3721785zbMATH OpenOpenAlexWikidataFDO

Authors George B. jun. Leeman

Publication date 1986

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

checkpointprogramming languagesrecoverylanguage constructspreprocessorsreverse executionUndo facility

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• A recovery mechanism for shells
• Undoing the effects of action sequences
• Controlled Reversibility and Compensations
• Towards a Theory of Forward Error Recovery
• An Undo Framework for P2P Collaborative Editing

Cited in

(10)

• Running programs backwards: The logical inversion of imperative computation
• Undoing the effects of action sequences
• Reversible computing from a programming language perspective
• Controlling Reversibility in Higher-Order Pi
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Causal-consistent rollback in a tuple-based language
• Fundamentals of reversible flowchart languages
• Reversibility in the higher-order \(\pi\)-calculus
• Towards a Theory of Forward Error Recovery

This page was built for publication: A formal approach to undo operations in programming languages

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