A Program Structure for Error Detection and Recovery
- Lookup NU author(s)
- 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 Name | | International Symposium on Operating Systems: Theoretical and Practical Aspects |
| Conference Location | | Rocquencourt, France |
| Year of Conference | | 1974 |
| Date | | 23-25 April 1974 |
| Volume | | 16 |
| Pages | | 171-187 |
| Series Title | | Lecture Notes in Computer Science |
| ISBN | | 9783540068495 |
| |  |
|
|
|
| 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. |
|
|
|
| Publisher | | Springer-Verlag |
| URL | | http://dx.doi.org/10.1007/BFb0029359 |
| DOI | | 10.1007/BFb0029359 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
