Issue No. 08 - August (1985 vol. 11)
A. Mili , Department of Informatics, Faculty of Sciences, University of Tunis
When the state of a program in execution is accidentally altered, a recovery action may be needed before the execution can proceed on. Two approaches exist for the design of recovery actions: backward recovery consists of retrieving a previously saved correct state and restarting the computation; forward recovery consists of generating ? (sufficiently) correct state from the current (not too) contaminated state. This paper presents a tentative framework for the study of forward error recovery and then discusses some preliminary results and some future research within the proposed framework.
while statements, Error recovery, exception handling, forward error recovery, program fault-tolerance
A. Mili, "Towards a Theory of Forward Error Recovery", IEEE Transactions on Software Engineering, vol. 11, no. , pp. 735-748, August 1985, doi:10.1109/TSE.1985.232523