Algebraic and operational semantics of specifications allowing exceptions and errors
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 34 (3) , 289-313
- https://doi.org/10.1016/0304-3975(84)90056-2
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Some extensions to algebraic specificationsACM SIGPLAN Notices, 1977
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973