Leeman, George B. jun. A formal approach to Undo operations in programming languages. (English) Zbl 0592.68015 ACM Trans. Program. Lang. Syst. 8, 50-87 (1986). Cited in 9 Documents MSC: 68N01 General topics in the theory of software 68N25 Theory of operating systems Keywords:checkpoint; language constructs; preprocessors; reverse execution; Undo facility; programming languages; recovery × Cite Format Result Cite Review PDF Full Text: DOI Link