Title :
On the provision of backward error recovery in production programming languages
Author :
Gregory, S.T. ; Knight, J.C.
Author_Institution :
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Abstract :
The problem of providing backward error recovery in production programming languages is examined. By ´production´ is meant programming languages with sufficient expressive power that they can be used for substantial applications. (Ada is an example of a production programming language.) This examination reveals several new problems that have not been addressed previously. The authors show the relative immaturity of the backward error recovery approach in relation to languages of which Ada is but one example. They also show that the source of the problems is the continuous need to be able to define a recovery line so as to be able to perform state restoration. Many language constructs that have not been addressed by other researchers, such as shared objects, process creation and destruction, and pointers, make the establishment of a recovery line extremely difficult.<>
Keywords :
error correction; fault tolerant computing; high level languages; system recovery; Ada; backward error recovery; colloquy; conversation; expressive power; language constructs; pointers; process creation; process destruction; production programming languages; recovery line; shared objects; state restoration; Computer errors; Computer languages; Fault tolerant systems; Large-scale systems; Modems; NASA; Production; Productivity; Programming profession; Stress;
Conference_Titel :
Fault-Tolerant Computing, 1989. FTCS-19. Digest of Papers., Nineteenth International Symposium on
Conference_Location :
Chicago, IL, USA
Print_ISBN :
0-8186-1959-7
DOI :
10.1109/FTCS.1989.105627