Modular reasoning in the presence of subclassing
- 17 October 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 30 (10) , 200-214
- https://doi.org/10.1145/217839.217861
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Typing the specialization interfacePublished by Association for Computing Machinery (ACM) ,1993
- Specifications and their use in defining subtypesPublished by Association for Computing Machinery (ACM) ,1993
- Safe type checking in a statically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1993
- Issues in the design and specification of class librariesPublished by Association for Computing Machinery (ACM) ,1992
- Reuse (panel)Published by Association for Computing Machinery (ACM) ,1992
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Reasoning about object-oriented programs that use subtypesPublished by Association for Computing Machinery (ACM) ,1990
- Proof of correctness of data representationsActa Informatica, 1972