A Program Structure for Error Detection and Recovery

  1. Lookup NU author(s)
  2. Professor Brian Randell
Author(s)Horning JJ, Lauer HC, Melliar-Smith PM, Randell B
Editor(s)Gelenbe, E., Kaiser, C.
Publication type Conference Proceedings (inc. Abstract)
Conference NameInternational Symposium on Operating Systems: Theoretical and Practical Aspects
Conference LocationRocquencourt, France
Year of Conference1974
Legacy Date23-25 April 1974
Volume16
Pages171-187
Series TitleLecture Notes in Computer Science
ISBN9783540068495
Full text is available for this publication:
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.
PublisherSpringer-Verlag
URLhttp://dx.doi.org/10.1007/BFb0029359
DOI10.1007/BFb0029359
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item