Abstract
The paper describes a method of structuring programs which aids the design and validation of facilities for the detection of and recovery from software errors. Associated with the method is a mechanism for the automatic preservation of restart information at a level of overhead which is believed to be tolerable.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Floyd, R.W., Assigning meanings to programs, in Mathematical Aspects of Computer Science, ed. Schwartz, J.T., Amer. Math. Soc. 1967.
Randell B., Operating Systems: the problems of performance and reliability. IFIP Congress 1971, Invited Papers, p. 100.
Balzer, R.M., EXDAMS, Extendable Debugging and Monitoring Systems, SJCC 1969, p. 567.
Prenner, C.J. et al, An Implementation of Backtracking for Programming Languages, ACM Annual Conference, 1972, p. 763.
Birtwistle, G.M. et al, SIMULA begin. Student Litteratur/Auerbach 1973.
Campbell, R.H. and Habermann, A.N., The Specification of Process Synchronisation by Path Expressions. (Published at this conference.
Lauer, H.C. and Wyeth D., A Recursive Virtual Machine Architecture, TR 54, Computing Laboratory, University of Newcastle upon Tyne, (September 1973).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horning, J.J., Lauer, H.C., Melliar-Smith, P.M., Randell, B. (1974). A program structure for error detection and recovery. In: Gelenbe, E., Kaiser, C. (eds) Operating Systems. OS 1974. Lecture Notes in Computer Science, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029359
Download citation
DOI: https://doi.org/10.1007/BFb0029359
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06849-5
Online ISBN: 978-3-540-37805-1
eBook Packages: Springer Book Archive