A formal approach to undo operations in programming languages

Autor:	George B. Leeman
Rok vydání:	1986
Předmět:	Structure (mathematical logic) Computer science Simple (abstract algebra) Programming language Formalism (philosophy) Model of computation State (computer science) Undo computer.software_genre Undoing computer Software Range (computer programming)
Zdroj:	ACM Transactions on Programming Languages and Systems. 8:50-87
ISSN:	1558-4593 0164-0925
DOI:	10.1145/5001.5005
Popis:	A framework is presented for adding a general Undo facility to programming languages. A discussion of relevant literature is provided to show that the idea of Undoing pervades several areas in computer science, and even other disciplines. A simple model of computation is introduced, and it is augmented with a minimal amount of additional structure needed for recovery and reversal. Two different interpretations of Undo are motivated with examples. Then, four primitives are defined in a language-independent manner; they are sufficient to support a wide range of Undo capability. Two of these primitives carry out state saving, and the others mirror the two versions of the Undo operation. Properties of and relationships between these primitives are explored, and there are some preliminary remarks on how one could implement a system based on this formalism. The main conclusion is that the notions of recovery and reversal of actions can become part of the programming process.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e6bf78a94bea2757ae381a316ee2de18 https://doi.org/10.1145/5001.5005 Zobrazit plný text záznamu