Behavioral Subtyping Using Invariants and Constraints

  title={Behavioral Subtyping Using Invariants and Constraints},
  author={Barbara Liskov},
We present a way of de ning the subtype relation that ensures that subtype objects preserve behavioral properties of their supertypes. The subtype relation is based on the speci cations of the suband supertypes. Our approach handles mutable types and allows subtypes to have more methods than their supertypes. Dealing with mutable types and subtypes that extend their supertypes has surprising consequences on how to specify and reason about objects. In our approach, we discard the standard data… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS
44 Citations
31 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 44 extracted citations

69 Citations

Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 31 references

A foundation for the model theory of abstract data types with mutation and aliasing (preliminary version)

  • G. T. Leavens, K. K. Dhara
  • Technical Report 92-35,
  • 1992

Jo speci cation language reference manual

  • J. Scheid, Holtsberg, S. Ina
  • Technical Report TM-6021/001/06,
  • 1992

Preliminary design of the Thor object-oriented database system

  • B. Liskov
  • In Proc. of the Software Technology Conference…
  • 1992

Semantics and usage of defaults in speci cations

  • U. Lipeck
  • In Foundations of Information Systems Speci…
  • 1992

Subtyping among mutable types in object-oriented programming languages

  • K. K. Dhara
  • Master's thesis,
  • 1992

Similar Papers

Loading similar papers…