J.J. Horning (University of Toronto, Canada), H.C. Lauer, P.M. MelliarSmith,...  Home/Search
Context Related
| cs.ncl.ac.uk/research/pubs/in...340.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ncl.ac.uk/resear...listing.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Cited by: More
Adaptive Runtime Verification for Autonomic.. - Denaro, Mariani.. (Correct)
Approaches to Software Fault Tolerance - Randell (1993) (Correct)
System Structure for Software Fault Tolerance - Brian Rande Ll (Correct)
Active bibliography (related documents): More All
0.3: CBack: A Simple Tool for Backtrack Programming in C - Helsgaun (1995) (Correct)
0.3: A Computational Model of Expectation-Driven Mixed-Initiative.. - Smith (1992) (Correct)
0.0: Representing Time in Multimedia-Systems - Wahl, Rothermel (1993) (Correct)
Similar documents based on text: More All
0.2: Classified Larch Bibliography - Garland (1993) (Correct)
0.1: Transparent Fault Tolerance for CORBA - Narasimhan (1999) (Correct)
0.1: The Atomic Group Protocols: Reliable Ordered Message Delivery for.. - Koch (2000) (Correct)
Related documents from co-citation: More All
12: System structure for software fault tolerance (context) - Randell - 1975
7: Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of H.. (context) - Kim, Welch - 1992
6: ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
BibTeX entry: (Update)
J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, B. Randell, "A program structure for error detection and recovery." Proceedings of an International Symposium held at Rocquencourt, April 23-25 1974, published in Lecture Notes in Computer Science, Vol. 16, Springer-Verlag, 1974, pp. 171-187. http://citeseer.ist.psu.edu/horning74program.html More
@incollection{ horning74program,
author = "J. J. Horning and H. C. Lauer and P. M. Melliar-Smith and B. Randell",
title = "A Program Structure for Error Detection and Recovery",
booktitle = "Operating Systems",
publisher = "Springer-Verlag",
editor = "G. Goos and J. Hartmanis",
pages = "172--187",
year = "1974",
url = "citeseer.ist.psu.edu/horning74program.html" }
Citations (may not include all citations):223 Assigning meanings to programs (context) - Floyd - 1967
20 The Specification of Process Synchronisation by Path Express.. (context) - Campbell, Habermann
3 An Implementation of Backtracking for Programming Languages (context) - Prenner - 1972
1 Operating Systems: the problems of performance and reliabili.. - Randell - 1971
1 Extendible Debugging and Monitoring Systems (context) - Balzer - 1969
1 Student LitteraturAuerbach (context) - Begin, Auerbach - 1973
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ncl.ac.uk/research/pubs/inproceedings/listing.php): More
Metabroker: A Generic Broker for Electronic Commerce - Caughey, Ingham, Watson (1998) (Correct)
The Design and Implementation of a Framework for Configurable .. - Wheater, Little (1996) (Correct)
Dependability and Its Threats: A Taxonomy - Avizienis, Laprie, Randell (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC