Algebraic and operational semantics of specifications allowing exceptions and errors

DOI10.1016/0304-3975(84)90056-2zbMath0553.68012OpenAlexW2053259597MaRDI QIDQ759478

K. Drosten, Martin Gogolla, Udo W. Lipeck, Hans-Dieter Ehrich

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90056-2

zbMATH Keywords

errorsoperational semanticserror propagationalgebraic semanticscorrectness criterionerror recoverycorrectness of specificationserror handlingerror introductionspecification of abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Consistency and semantics of equational definitions over predefined algebras, Structured algebraic specifications: A kernel language, Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, My ADT Shrine, On the existence of free models in abstract algebraic institutions, Exception handling and term labelling, On observational equivalence and algebraic specification, Toward formal development of programs from algebraic specifications: Implementations revisited, Quasi-varieties in abstract algebraic institutions, Specifications in an arbitrary institution, Theoretical foundations of handling large substitution sets in temporal integrity monitoring, Data types with errors and exceptions, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameter passing in algebraic specification languages
• Computing in systems described by equations
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Tree-Manipulating Systems and Church-Rosser Theorems