OPUS: a formal approach to object-orientation
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of primitive objectsPublished by Springer Nature ,1994
- Nested Mixin-Methods in AgoraPublished by Springer Nature ,1993
- A calculus for overloaded functions with subtypingPublished by Association for Computing Machinery (ACM) ,1992
- Towards an object calculusPublished by Springer Nature ,1992
- Mixin-based inheritancePublished by Association for Computing Machinery (ACM) ,1990
- Interfaces for strongly-typed object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- A survey of object-oriented conceptsPublished by Association for Computing Machinery (ACM) ,1989
- A semantics of multiple inheritanceInformation and Computation, 1988
- Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t LikePublished by Springer Nature ,1988