Reuse contracts
Authors:
Open Access
- 1 October 1996
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 31 (10) , 268-285
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Modular reasoning in the presence of subclassing1995
- Subject-oriented composition rules1995
- The promise and the cost of object technologyCommunications of the ACM, 1995
- Typing the specialization interface1993
- Issues in the design and specification of class libraries1992
- Combination of inheritance hierarchies1992
- Contracts: specifying behavioral compositions in object-oriented systems1990