A mechanism for exception handling and its verification rules

Authors:
N. Cocco;S. Dulli
Affiliations:
Seminario Matematico dell'Università di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy;Facoltà di Statistica dell'Università di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy
Venue:
Computer Languages
Year:
1982

Citing 8
Cited 0

Ada exception handling: an axiomatic approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation

Communications of the ACM
Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness
A control statement for natural top-down structured programming

Programming Symposium, Proceedings Colloque sur la Programmation
A General, Verifiable Iterative Control Structure

IEEE Transactions on Software Engineering
Exception Handling in CLU

IEEE Transactions on Software Engineering
Toward modular verifiable exception handling

Computer Languages
System structure for software fault tolerance

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a control structure designed for an exception handling mechanism based on Goodenough's proposal. The aim is to provide a recovery mechanism as a basic component of any procedure-oriented language, which can handle any kind of error, ranging from design errors to occasional malfunctioning of hardware components. The semantics of the structure is described formally by means of Hoare type verification rules.