Skip to main content
SpringerLink
Log in

Conformance, Genericity, Inheritance and Enhancement

  • Conference paper
  • First Online:
ECOOP’ 87 European Conference on Object-Oriented Programming (ECOOP 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 276))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9 References

  1. “Galileo: A Strongly-Typed, Interactive Conceptual Language”, A. Albano, L. Cardelli and R. Orsini, ACM Transactions on Database Systems, Vol. 10. No. 2, June 1985

    Google Scholar 

  2. “Object Structure in the Emerald System”, A. Black, N. Hutchinson, E. Jul and H. Levy, Technical Report 86-04-03, Department of Computer Science, University of Washington, April 1986.

    Google Scholar 

  3. “Distribution and Abstract Types in Emerald”, A. Black, N. Hutchinson, E. Jul, H. Levy and L. Carter, IEEE Transactions on Software Engineering, Vol SE-13, No 1, January 1987.

    Google Scholar 

  4. “On understanding Types, Data Abstraction, and Polymorphism”, L. Cardelli and P. Wegner, ACM Computing Surveys, Vol 17, No 4, Dec 85.

    Google Scholar 

  5. “SmallTalk-80: The Language and Its Implementation”, A. Goldberg and D. Robson, Addison-Wesley, 1983

    Google Scholar 

  6. “Enhancement for multiple-inheritance”, J. Hendler, ACM Sigplan Notices, Vol 21, No 10, October 1986.

    Google Scholar 

  7. “Genericity versus Inheritance”, B. Meyer, 1986 Proc. of Object-Oriented Programming Systems, Languages and Applications (OOPSLA) (also in ACM SIGPLAN Notices, Vol 21, No 11, November 1986)

    Google Scholar 

  8. “An Alternative to Subclassing”, D. Sandberg, 1986 Proc. of Object-Oriented Programming Systems, Languages and Applications (OOPSLA), (also in ACM SIGPLAN Notices, Vol 21, No 11, November 1986).

    Google Scholar 

  9. “An induction to Trellis/Owl”, C. Schaffert et al, 1986 Proc. of Object-Oriented Programming Systems, Languages and Applications (OOPSLA) (also in ACM SIGPLAN Notices, Vol 21, No 11, November 1986).

    Google Scholar 

  10. “The C++ Programming Language-Reference Manual”, B. Slroustrup, AT&T Bell Labs Computing Science Technical Report No 108, January 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Distributed Systems Group, Department of Computer Science, Trinity College Dublin, IRL, Dublin 2

    Chris Horn

Authors
  1. Chris Horn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire d’Informatique, LIB, Université de Bretagne Occidentale, 6, avenue V. le Gorgeu, F-29287, Brest Cédex, France

    Jean Bézivin

  2. 54, avenue des Gressets, F-92700, La Celle Saint-Cloud, France

    Jean-Marie Hullot

  3. Rank Xerox France, DRBI, 12, place de l’Iris, F-92071, La Défense, Cedex 38, France

    Pierre Cointe

  4. The Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545, Technology Square, Cambridge, MA, 02139, USA

    Henry Lieberman

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Horn, C. (1987). Conformance, Genericity, Inheritance and Enhancement. In: Bézivin, J., Hullot, JM., Cointe, P., Lieberman, H. (eds) ECOOP’ 87 European Conference on Object-Oriented Programming. ECOOP 1987. Lecture Notes in Computer Science, vol 276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47891-4_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-47891-4_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18353-2

  • Online ISBN: 978-3-540-47891-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation