A program structure for error detection and recovery
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.
- 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).
- A program structure for error detection and recovery
- Book Title
- Operating Systems
- Book Subtitle
- Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974
- pp 171-187
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.