Operating Systems

Volume 16 of the series Lecture Notes in Computer Science pp 171-187


A program structure for error detection and recovery

  • J. J. HorningAffiliated withUniversity of Toronto
  • , H. C. LauerAffiliated withUniversity Newcastle upon Tyne
  • , P. M. Melliar-SmithAffiliated withUniversity Newcastle upon Tyne
  • , B. RandellAffiliated withUniversity Newcastle upon Tyne

* Final gross prices may vary according to local VAT.

Get Access


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.