Behavioural Subtyping Relations for Object-Oriented Formalisms

@inproceedings{Fischer2000BehaviouralSR,
  title={Behavioural Subtyping Relations for Object-Oriented Formalisms},
  author={Clemens Fischer and Heike Wehrheim},
  booktitle={AMAST},
  year={2000}
}
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OO-formalisms is closely related to the concept of inheritance. The central issue in the choice of subtyping relations among classes is the principle of substitutability: an instance of the subtype should be usable wherever an instance of the supertype was expected. Depending on the interpretation of \usable", we obtain a variety of subtyping relations: stronger subtyping… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
26 Extracted Citations
5 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 26 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-5 of 5 references

Introduction to the ISO speci cation language LOTOS

  • J. W. de Bakker
  • Computer Networks and ISDN Systems
  • 1991

Re nement , conformance and inheritance

  • B. Sarikaya, G. v. Bochmann
  • Formal Aspects ofComputing
  • 1987

A theory of communicating sequential processes

  • A. W. Roscoe
  • Journal of the ACM

Similar Papers

Loading similar papers…