Premium
An exception handling method for constructive algebraic specifications
Author(s) -
van Horebeek Ivo,
Lewi Johan,
Bevers Eddy,
Duponcheel Luc,
van Puymbroeck Willy
Publication year - 1988
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380180505
Subject(s) - constructive , notation , axiom , exception handling , programming language , computer science , algebraic number , class (philosophy) , function (biology) , sort , algebra over a field , theoretical computer science , mathematics , arithmetic , process (computing) , artificial intelligence , pure mathematics , mathematical analysis , geometry , evolutionary biology , biology , information retrieval
This paper describes an exception detection and exception handling method for constructive algebraic specifications. A notation that supports exception handling is introduced. First, a safety function is provided for every sort. This function characterizes each object as being safe or unsafe. Secondly, axioms may contain markers that indicate when they are applicable. The proposed notation is a trade‐off between readability and capability to handle a large class of exceptional situations. The description of exception handling promotes a two‐step design method for constructive algebraic specifications. In a first step the specification is given with exception detection only; in a second step exception handling is superimposed.