A mechanism for exception handling and its verification rules |
| |
Authors: | N. Cocco S. Dulli |
| |
Affiliation: | 1. Seminario Matematico dell''Università di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy;2. Facoltà di Statistica dell''Università di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy |
| |
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. |
| |
Keywords: | Exception handling Software reliability Recovery Structured programming Modularity Correctness Formal specification |
本文献已被 ScienceDirect 等数据库收录! |
|