Algebraic and operational semantics of specifications allowing exceptions and errors

DOI10.1016/0304-3975(84)90056-2MaRDI QIDQ759478zbMATHOpenAlexFDO

Authors 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

errorsalgebraic semanticserror propagationoperational semanticscorrectness criterionerror recoverycorrectness of specificationserror handlingerror introductionspecification of abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3936492
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• scientific article; zbMATH DE number 3943002
• scientific article; zbMATH DE number 3881862
• Publication:4721636

Cites work

• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 3614152 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• Computing in systems described by equations
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameter passing in algebraic specification languages
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(21)

• Consistency and semantics of equational definitions over predefined algebras
• scientific article; zbMATH DE number 3872656 (Why is no real title available?)
• My ADT shrine
• scientific article; zbMATH DE number 4078771 (Why is no real title available?)
• Data types with errors and exceptions
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Exceptions for algebraic specifications: On the meaning of ``but
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Specifications in an arbitrary institution
• scientific article; zbMATH DE number 3995034 (Why is no real title available?)
• Exception Handling: Formal Specification and Systematic Program Construction
• On observational equivalence and algebraic specification
• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 3881862 (Why is no real title available?)
• Exception handling and term labelling
• scientific article; zbMATH DE number 3936492 (Why is no real title available?)
• scientific article; zbMATH DE number 3943002 (Why is no real title available?)
• On the existence of free models in abstract algebraic institutions
• scientific article; zbMATH DE number 4153905 (Why is no real title available?)
• Quasi-varieties in abstract algebraic institutions

This page was built for publication: Algebraic and operational semantics of specifications allowing exceptions and errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759478)