Algebraic and operational semantics of specifications allowing exceptions and errors

https://doi.org/10.1016/0304-3975(84)90056-2Get rights and content
Under an Elsevier user license
open archive

Abstract

The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling: error introduction, error propagation and error recovery. The algebraic semantics of our method and a new correctness criterion are given. We also introduce an operational semantics of a subclass of our specifications which coincides with the algebraic semantics.

Keywords

Specification of abstract data types
error and exception handling
algebraic semantics
correctness of specifications
operational semantics

Cited by (0)