Algebraic specification of exception handling and error recovery by means of declarations and equations
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Partial abstract typesActa Informatica, 1982
- Algorithmic specifications of abstract data typesPublished by Springer Nature ,1981
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975