Lookup NU author(s): Professor Brian Randell
Full text is not currently 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 overhed which is believed to be tolerable.
Author(s): Horning JJ, Lauer HC, Melliar-Smith PM, Randell B
Publication type: Report
Series Title: Computing Laboratory Technical Report Series
Report Number: 59
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne