A Final Algebra Semantics for Errors and Exceptions

Publisher Website

1 January 1985

book chapter
Published by Springer Nature in Informatik-Fachberichte

p. 89-103
https://doi.org/10.1007/978-3-662-09691-8_8

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

A constructive method for abstract algebraic software specification
Theoretical Computer Science, 1984
Algebraic and operational semantics of specifications allowing exceptions and errors
Theoretical Computer Science, 1984
On hierarchies of abstract data types
Acta Informatica, 1983
An operational semantics for specifications of abstract data types with error handling
Acta Informatica, 1983
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems, 1983
Algebraic implementation of abstract data types
Theoretical Computer Science, 1982
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM, 1982
Parameter passing in algebraic specification languages
Published by Springer Nature ,1982
Programming with abstract data types
ACM SIGPLAN Notices, 1974