Exception Handling and Tolerance of Software Faults

Abstract

The rst part of this chapter provides rigorous denitions for several basic concepts underlying the design of dependable programs, such as specication, 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