Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

In this paper, a new semantics for exception handling in algebraic specifications is provided. Our formalism allows all forms of exception and error handling (several error messages, implict error propagation rule, exception recovery policy), while preserving the existence of initial models. The main concepts of our approach are: the distinction between exception and error, and the introduction of exception labelling allowing to formalize various error messages. This formalism allows use of congruences in a similar manner as in the classical abstract data type theory. Moreover, we show how a functorial semantics of enrichment can be carried over to our framework, and we show how hierarchical consistency and sufficient completeness can be include exception handling. Indeed, abstract implementation of specifications including exception handling was one of main motivations for the work reported here.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082804)