Algebraic and operational semantics of specifications allowing exceptions and errors
DOI10.1016/0304-3975(84)90056-2zbMATH Open0553.68012OpenAlexW2053259597MaRDI QIDQ759478FDOQ759478
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
Recommendations
errorsalgebraic semanticserror propagationoperational semanticscorrectness criterionerror recoverycorrectness of specificationserror handlingerror introductionspecification of abstract data types
Cites Work
- Tree-Manipulating Systems and Church-Rosser Theorems
- Computing in systems described by equations
- Parameter passing in algebraic specification languages
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (21)
- Exceptions for algebraic specifications: On the meaning of ``but
- Title not available (Why is that?)
- Exception Handling: Formal Specification and Systematic Program Construction
- Specifications in an arbitrary institution
- On the existence of free models in abstract algebraic institutions
- On observational equivalence and algebraic specification
- Structured algebraic specifications: A kernel language
- Consistency and semantics of equational definitions over predefined algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Exception handling and term labelling
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Quasi-varieties in abstract algebraic institutions
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring
- Title not available (Why is that?)
- Data types with errors and exceptions
- My ADT shrine
- Title not available (Why is that?)
- Title not available (Why is that?)
- Toward formal development of programs from algebraic specifications: Implementations revisited
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)
