Title: An Exception Handling Method for Constructive Algebraic Specifications
Authors: Van Horebeek, Ivo ×
Lewi, Johan
Bevers, Eddy
Duponcheel, Luc
Van Puymbroeck, Willy #
Issue Date: May-1988
Publisher: Wiley Interscience
Series Title: Software: practice & experience vol:18 issue:5 pages:443-458
Abstract: 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 unsage. Secondly, axioms may contain markers that indicate when they are applicable.
The proposed notation is a trade-off between readebility 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.
ISSN: 0038-0644
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science