Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Enhancement for multiple-inheritance
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
| Hi-index | 0.00 |
A recent paper by Meyer compared the usefulness of Genericity and Inheritance as a basis for static type checking in object oriented systems. Conformance is also being considered by some researchers, and Meyer's paper is reexamined here using Conformance. Some problems result related to the conformance of formal and actual parameters of operations. Additional rules for conformance are introduced to overcome these problems and these lead naturally to the concept of Enhancement as a union of the techniques of Conformance, Genericity and Inheritance.