Partial composition and recursion of module specifications
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 217-231
- https://doi.org/10.1007/3-540-17660-8_57
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Inner and mutual compatibility of basic operations on module specificationsPublished by Springer Nature ,2005
- Specification of modular systemsIEEE Transactions on Software Engineering, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Program specification and development in standard MLPublished by Association for Computing Machinery (ACM) ,1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Algebraic domain equationsTheoretical Computer Science, 1983
- On hierarchies of abstract data typesActa Informatica, 1983
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972