An exception handling method for constructive algebraic specifications
- 1 May 1988
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 18 (5) , 443-458
- https://doi.org/10.1002/spe.4380180505
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Exception Handling: Formal Specification and Systematic Program ConstructionIEEE Transactions on Software Engineering, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- A constructive method for abstract algebraic software specificationTheoretical Computer Science, 1984
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Parameterized ProgrammingIEEE Transactions on Software Engineering, 1984
- Rapid prototypingACM SIGSOFT Software Engineering Notes, 1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981