Skip to main content
SpringerLink
Log in
Book cover

Conference on Operating Systems

OS 1974: Operating Systems pp 171–187Cite as

A program structure for error detection and recovery

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 16))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Floyd, R.W., Assigning meanings to programs, in Mathematical Aspects of Computer Science, ed. Schwartz, J.T., Amer. Math. Soc. 1967.

    Google Scholar 

  2. Randell B., Operating Systems: the problems of performance and reliability. IFIP Congress 1971, Invited Papers, p. 100.

    Google Scholar 

  3. Balzer, R.M., EXDAMS, Extendable Debugging and Monitoring Systems, SJCC 1969, p. 567.

    Google Scholar 

  4. Prenner, C.J. et al, An Implementation of Backtracking for Programming Languages, ACM Annual Conference, 1972, p. 763.

    Google Scholar 

  5. Birtwistle, G.M. et al, SIMULA begin. Student Litteratur/Auerbach 1973.

    Google Scholar 

  6. Campbell, R.H. and Habermann, A.N., The Specification of Process Synchronisation by Path Expressions. (Published at this conference.

    Google Scholar 

  7. Lauer, H.C. and Wyeth D., A Recursive Virtual Machine Architecture, TR 54, Computing Laboratory, University of Newcastle upon Tyne, (September 1973).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Toronto, Canada

    J. J. Horning

  2. University Newcastle upon Tyne, England

    H. C. Lauer, P. M. Melliar-Smith & B. Randell

Authors
  1. J. J. Horning
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. C. Lauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. M. Melliar-Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. B. Randell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Gelenbe C. Kaiser

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation