A recent paper by Meyer compared the usefulness of Genericity and Inheritance as a basis fur 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 problem and these lead naturally to the concept of Enhancement as a union of the techniques of Conformance, Genericity and Inheritance. This work has been partially sponsored under the ESPRIT programme, in project 834 Comandos - Construction and Management of Distributed Office Systems.
CITATION STYLE
Horn, C. (1987). Conformance, genericity, inheritance and enhancement. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 276 LNCS, pp. 223–233). Springer Verlag. https://doi.org/10.1007/3-540-47891-4_21
Mendeley helps you to discover research relevant for your work.