Date: 22 Nov 2005

A program structure for error detection and recovery

* 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.