Effective use of abort in programming mode changes
Alan Burns, Thomas J. Quiggle · ACM SIGAda Ada Letters · 1990
Mode changes are a crucial characteristic of a number of real-time systems. Ada does not easily deal with these events and hence it has been argued that language changes are required; in particular the introduction (or strictly speaking the re-introduction) of asynchronous exceptions. In this paper we present an idiom for programming mode changes. Moreover we argue that this structure can be implemented efficiently.