A theory of software reusability
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 115-130
- https://doi.org/10.1007/3-540-19027-9_8
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Good functors ... are those preserving philosophy!Published by Springer Nature ,1987
- Abstract implementations and correctness proofsPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- On hierarchies of abstract data typesActa Informatica, 1983
- Partial abstract typesActa Informatica, 1982
- Algebraic implementation of abstract data typesACM SIGACT News, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978