Towards object-oriented algebraic specifications
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Combining data type and recursive process specifications using projection algebrasTheoretical Computer Science, 1990
- Objects, object types, and object identificationPublished by Springer Nature ,1989
- Parameterized data type and process specifications using projection algebrasPublished by Springer Nature ,1989
- Specification of modular systemsIEEE Transactions on Software Engineering, 1986
- Extensions and foundations of object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985