Data encapsulation and modularity: Three views of inheritance

  • J. F. Costa
  • A. Sernadas
  • C. Sernadas
Conference paper

DOI: 10.1007/3-540-57182-5_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)
Cite this paper as:
Costa J.F., Sernadas A., Sernadas C. (1993) Data encapsulation and modularity: Three views of inheritance. In: Borzyszkowski A.M., Sokołowski S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg

Abstract

A semantic domain based on state-machines is proposed for object-orientation in order to clarify the most important constructions: aggregation, interconnection and specialization. Three kinds of specialization are discussed: subtyping (specialization without side-effects and no non-monotonic overriding); monotonic specialization (possibly with side-effects but still with monotonic overriding only); and non-monotonic specialization (possibly with side-effects and non-monotonic overriding).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • J. F. Costa
    • 1
  • A. Sernadas
    • 1
  • C. Sernadas
    • 1
  1. 1.INESC & Dept. Matemática-ISTLisboa CodexPortugal

Personalised recommendations