Premium
Generating reversible programs
Author(s) -
Briggs J. S.
Publication year - 1987
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380170703
Subject(s) - undo , reversing , computer science , code (set theory) , operator (biology) , state (computer science) , programming language , operating system , engineering , set (abstract data type) , biochemistry , chemistry , repressor , automotive engineering , transcription factor , gene
This paper describes the production of a system to control an electronic cricket scoreboard. The main feature of the system is the ability of the operator to ‘undo’ operations that he has performed, in order to correct errors that has has made. Undo is implemented by reversing the execution of the program. The code to perform the reversal is generated automatically and results in a minimal amount of state information being recorderded.