Flaviu Cristian  Home/Search
Context Related
Links: ACM | ucsd.edu/pub/team/...ptionhandling.ps.Z ucsd.edu/pub/tech...ptionhandling.ps.Z 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: ucsd.edu/users/fla...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The first part of this paper provides rigorous definitions for several basic concepts underlying the design of dependable programs, such as specification, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solved at each abstraction level, such as exception detection and propagation, consistent state... (Update)
Context of citations to this paper: More
...and handling is usually both numerous and complex. As a consequence, up to two thirds of a program can be for error handling [Cristian, 1989][Gehani, 1992] In this context, the design of an exception mechanism should be simple and easy to use, and provide explicit...
.... fault tolerance [LA90] We share many researchers view of exception handling as the most powerful software fault tolerance mechanism [C89, CR86]. In the context of atomic actions coopera # tive exception handling was introduced as the main feature of tolerating faults [CR86]...
Cited by: More
Formal Methods and the Certification of Critical Systems - Rushby (1993) (Correct)
Bridging the Gap between Hardware And Software Fault.. - Patino-Martinez.. (2002) (Correct)
Coordinated Atomic Actions: from Concept to.. - Randell, Romanovsky.. (1997) (Correct)
Active bibliography (related documents): More All
0.7: The Duality of Fault-tolerant System Structures - Shrivastava (1993) (Correct)
0.6: Exceptions in OO Languages: Using them and Reasoning about.. - Soundarajan, Fridella (Correct)
0.6: Implementing Atomic Actions in Ada 95 - Wellings, Burns (1996) (Correct)
Similar documents based on text: More All
0.1: The Timed Asynchronous Distributed System Model - Cristian, Fetzer (1999) (Correct)
0.0: On-Demand Asynchronous Atomic Broadcast - Guillermo Alvarez (1995) (Correct)
0.0: Atomic Broadcast: From Simple Message Diffusion to.. - Cristian, Aghili.. (1985) (Correct)
Related documents from co-citation: More All
7: System structure for software fault tolerance (context) - Randell - 1975
6: Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
6: Error Recovery in Asynchronous Systems (context) - Campbell, Randell - 1986
BibTeX entry: (Update)
Flaviu Cristian. Exception handling. In T. Anderson, editor, Dependability of Resilient Computers, pages 68 -- 97. Blackwell Scientific Publications, 1989. http://citeseer.ist.psu.edu/cristian89exception.html More
@techreport{ cristian87exception,
author = "F. Cristian",
title = "Exception Handling",
number = "RJ5724 (57703)",
year = "1987",
url = "citeseer.ist.psu.edu/cristian89exception.html" }
Citations (may not include all citations):1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987 ACM DBLP
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993 DBLP
293 System Structure for Software Fault-Tolerance (context) - Randell - 1975
265 Proof of Correctness of Data Representations (context) - Hoare - 1972 ACM DBLP
223 Assigning meaning to programs (context) - Floyd - 1967
98 Fault-Tolerance: Principles and Practice (context) - Anderson, Lee - 1981
59 Programming with Abstract Data Types (context) - Liskov, Zilles - 1974 ACM DBLP
54 Exception Handling, Issues and a Proposed Notation (context) - Goodenough - 1975
52 Reliability issues in Computing Systems Design (context) - Randell, Lee et al. - 1978
44 Error Recovery in Asynchronous Systems (context) - Campbell, Randell - 1986 ACM DBLP
42 Rationale for the Design of the ADA Programming Language (context) - Ichbiah - 1979 ACM
41 A Technique for Software Module Specification with Examples (context) - Parnas - 1972 ACM DBLP
35 An axiomatic approach to Computer Programming (context) - Hoare - 1969
33 An Experimental Evaluation of Software Redundancy as a Strat.. (context) - Eckhardt, Caglayan et al. - 1991 ACM DBLP
30 Mesa Language Manual (context) - Mitchell - 1979
28 A Rigorous Approach to Fault-Tolerant Programming (context) - Cristian - 1985 DBLP
28 A Program Structure for Error Detection and Recovery - Horning, Lauer et al. - 1974 ACM DBLP
26 Approaches to mechanization of the conversation scheme based.. (context) - Kim - 1982 ACM DBLP
25 a Buzzword: Hierarchical Structure (context) - Parnas - 1974
19 Private Communication (context) - Mitchell - 1993
16 Exception Handling in CLU (context) - Liskov, Snyder - 1979 DBLP
11 An Introduction to the construction and verification of Alph.. (context) - Wulf, London et al. - 1976 ACM DBLP
11 A formal model of atomicity in Asynchronous Systems (context) - Best, Randell - 1981 DBLP
10 A decentralized recovery control protocol (context) - Wood - 1981
9 Software Reliability: the Role of Programmed Exception Handl.. (context) - Melliar-Smith, Randell - 1977 DBLP
9 On Extending Modula-2 for Building Large Integrated Systems (context) - Levin, Rovner et al. - 1985
7 Program Structures for Exceptional Condition Handling (context) - Levin - 1977
7 Fault-tolerant design of local ESS processors (context) - Toy - 1982
7 Correct and Robust Programs (context) - Cristian - 1984 DBLP
7 the Transfer of Control Between Contexts (context) - Lampson, Mitchell et al. - 1974
5 An evaluation of Software Fault Tolerance in a Practical Sys.. (context) - Anderson, Barrett et al. - 1985
5 Systematic Detection of Exception Occurrences (context) - Best, Cristian - 1981 DBLP
5 On Linguistic Support for distributed programs (context) - Liskov - 1982
4 Response to Detected Errors in Well-Structured Programs (context) - Parnas - 1972
3 Robust data types (context) - Cristian - 1982 ACM DBLP
2 A Proposal for Dealing with Abnormal Termination of Programs (context) - Bron, Fokkinga et al. - 1976
2 Reliable Resource Allocation between Unreliable Processes (context) - Shrivastava, Banatre - 1978 DBLP
2 Reliable Hardware-Software Architecture (context) - Wulf - 1975
2 Fault-Tolerance by Design Diversity (context) - Avizienis, Kelly - 1984
2 ADA exception handling: an axiomatic approach (context) - Luckham, Polak - 1980 ACM DBLP
2 Understanding Fault-Tolerant Systems (context) - Cristian - 1991
2 A Recovery Mechanism for Modular Software (context) - Cristian - 1979 ACM DBLP
2 Fault-tolerance using communicating sequential processes (context) - Jalote, Campbell - 1984
1 Exception Handling with multi exit statements (context) - Back - 1979
1 Mechanisms for failure handling in distributed programming L.. (context) - Schlichting, Cristian et al. - 1989
1 Private Communication (context) - Parnas - 1985
1 Language Features for Fault-Tolerance (context) - Horning - 1978
1 Making Exceptions Simplify the Rule (and Justify their Handl.. (context) - Cheriton - 1986
1 An Axiomatic Treatment of Exception Handling (context) - Yemini - 1982 ACM DBLP
1 Le Traitement des Exceptions dans les Programmes Modulaires (context) - Cristian - 1979
1 A Discipline of Programming (context) - Dikstra - 1976
1 A theoretical Basis for Software Fault Tolerance (context) - Staknis - 1987 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cse.ucsd.edu/users/flaviu/publications.html): More
Integrating External and Internal Clock Synchronization - Fetzer, Cristian (1996) (Correct)
Agreeing on Processor Group Membership in Timed Asynchronous .. - Cristian, Schmuck (1995) (Correct)
Cesium: Testing Hard Real-time and Dependability Properties.. - Alvarez, Cristian (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