Algebraic and operational semantics of specifications allowing exceptions and errors
type: Item
instance of: scholarly article
title: Algebraic and operational semantics of specifications allowing exceptions and errors
zbMATH Open document ID: 0553.68012
DOI: 10.1016/0304-3975(84)90056-2
author: K. Drosten
author: Martin Gogolla
author: Udo W. Lipeck
author: Hans-Dieter Ehrich
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3881861
zbMATH Keywords: correctness of specifications
zbMATH Keywords: specification of abstract data types
zbMATH Keywords: errors
zbMATH Keywords: error handling
zbMATH Keywords: error introduction
zbMATH Keywords: error propagation
zbMATH Keywords: error recovery
zbMATH Keywords: algebraic semantics
zbMATH Keywords: correctness criterion
zbMATH Keywords: operational semantics
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90056-2
OpenAlex ID: W2053259597
cites work: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
cites work: Parameter passing in algebraic specification languages
cites work: Q4151143
cites work: Q4178466
cites work: Computing in systems described by equations
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q4190110
description: scientific article; zbMATH DE number 3881861