Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- 31 December 1986
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 46, 13-45
- https://doi.org/10.1016/0304-3975(86)90019-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Partial abstract typesActa Informatica, 1982
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975