Skip to main content
SpringerLink
Log in

Inheritance in COLD

  • Part III Cold
  • Conference paper
  • First Online:
Algebraic Methods II: Theory, Tools and Applications (Algebraic Methods 1989)

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

Included in the following conference series:

Abstract

In this paper we indicate how a general inheritance mechanism can be defined as a form of syntactic sugar on top of the design kernel language COLD-K. The inheritance mechanism goes beyond that of traditional object-oriented languages in that it applies to single-sorted, dynamic classes as well as to many-sorted and static classes. It will be incorporated in a user-oriented language version of COLD defined on top of COLD-K, thus providing full support for the methodology of object-oriented design. The mechanism is believed to be applicable to other languages as well.

This work has been performed in the framework of ESPRIT project 432 (METEOR).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A.V. AHO, R. SETHI, J.D. ULLMAN, Compilers, Principles, Techniques, and Tools, Addison-Wesley (1986).

    Google Scholar 

  2. A. ALBANO, L. CARDELLI, R. ORSINI, Galileo: A Strongly-Typed, Interactive Conceptual Language, ACM Transactions on Database Systems, Volume 10, Number 2 (1985), 230–260.

    Google Scholar 

  3. P. AMERICA, Inheritance and Subtyping in a Parallel Object-Oriented Language, in: J. BÉZIVIN, J.-M. HULLOT, P. COINTE, H. LIEBERMAN (Eds.), ECOOP '87, European Conference on Object-Oriented Programming, LNCS 276, Springer-Verlag (1987), 234–242.

    Google Scholar 

  4. L. CARDELLI, A Semantics of Multiple Inheritance, Information and Computation 76 (1988), 138–164.

    Google Scholar 

  5. L.M.G. FEIJS, H.B.M. JONKERS, C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, Formal Definition of the Design Language COLD-K, Preliminary Edition, Technical Report, ESPRIT project 432, Doc.No. METEOR/t7/PRLE/7 (1987).

    Google Scholar 

  6. A. GOLDBERG, D. ROBSON, Smalltalk-80, The Language and its Implementation, Addison-Wesley (1983).

    Google Scholar 

  7. H.B.M. JONKERS, An Introduction to COLD-K, in: M. WIRSING, J.A. BERGSTRA (Eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag (1989), 139–205.

    Google Scholar 

  8. H.B.M. JONKERS, Description Algebra, in: M. WIRSING, J.A. BERGSTRA (Eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag (1989), 283–305.

    Google Scholar 

  9. B. MEYER, Object-oriented Software Construction, Prentice Hall (1988).

    Google Scholar 

  10. C. SCHAFFERT, T. COOPER, B. BULLIS, M. KILIAN, C. WILPOLT, An Introduction to Trellis/Owl, Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications '86, SIGPLAN Notices, Volume 21, Number 11 (1986), 9–16.

    Google Scholar 

  11. B. STROUSTRUP, The C++ Programming Language, Addison-Wesley (1986).

    Google Scholar 

  12. B. STROUSTRUP, What is “Object-Oriented Programming”?, in: J. BÉZIVIN, J.-M. HULLOT, P. COINTE, H. LIEBERMAN (Eds.), ECOOP '87, European Conference on Object-Oriented Programming, LNCS 276, Springer-Verlag (1987), 51–70.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories, P.O. Box 80000, 5600 JA, Eindhoven, The Netherlands

    H. B. M. Jonkers

Authors
  1. H. B. M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonkers, H.B.M. (1991). Inheritance in COLD. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-53912-3_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53912-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation