Concurrent Pascal with backward error recovery: Language features and examples
S. K. Shrivastava · Software Practice and Experience · 1979
Abstract The programming language Concurrent Pascal has been extended to include some language features that facilitate the writing of fault‐tolerant software. As a result, it is possible now to (1) write operating systems with a measure of fault‐tolerance, and (2) for such an operating system to support fault‐tolerant user programs. The paper describes these language features and illustrates their use with the help of a few working examples.