Reasoning about object-oriented programs that use subtypes
- 1 September 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 25 (10) , 212-223
- https://doi.org/10.1145/97946.97970
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- How to make ad-hoc polymorphism less ad hocPublished by Association for Computing Machinery (ACM) ,1989
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987
- Object structure in the Emerald systemPublished by Association for Computing Machinery (ACM) ,1986
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986
- Representation independence and data abstractionPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Logical relations and the typed λ-calculusInformation and Control, 1985
- Three approaches to type structurePublished by Springer Nature ,1985
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984
- Using category theory to design implicit conversions and generic operatorsPublished by Springer Nature ,1980