Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

A Program Structure for Error Detection and Recovery

Lookup NU author(s): Professor Brian RandellORCiD

Downloads

Abstract

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.

Publication metadata

Author(s): Horning JJ, Lauer HC, Melliar-Smith PM, Randell B

Editor(s): Gelenbe, E., Kaiser, C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Symposium on Operating Systems: Theoretical and Practical Aspects

Year of Conference: 1974

Pages: 171-187

Date deposited: 08/04/2011

ISSN: 0302-9743

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/BFb0029359

DOI: 10.1007/BFb0029359

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540068495

Share