A behavioral notion of subtyping

  title={A behavioral notion of subtyping},
  author={B. Liskov and Jeannette M. Wing},
  journal={ACM Trans. Program. Lang. Syst.},
  • B. Liskov, Jeannette M. Wing
  • Published 1994
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper takes the position that the relationship should ensure that any property proved about supertype objects also holds for its subtype objects. It… CONTINUE READING
    1,282 Citations

    Topics from this paper

    Behavioral Subtyping Relations for Active Objects
    • H. Wehrheim
    • Computer Science
    • Formal Methods Syst. Des.
    • 2003
    • 28
    • Highly Influenced
    Behavioural Subtyping Relations for Object-Oriented Formalisms
    • 46
    An Approach to Behavioral Subtyping Based on Static Analysis
    • F. Logozzo
    • Computer Science
    • Electron. Notes Theor. Comput. Sci.
    • 2005
    • 7
    • Highly Influenced
    • PDF
    Concepts of behavioral subtyping and a sketch of their extension to component-based systems
    • 61
    • Highly Influenced
    Behavioural subtyping using invariants and constraints
    • 44
    • PDF
    Forcing behavioral subtyping through specification inheritance
    • 225
    • PDF
    Behavioral subtyping in object-oriented languages
    • 13
    • PDF
    Enriching Behavioral Subtyping
    • 2
    • PDF


    Modular specification and verification of object-oriented programs
    • 252
    • Highly Influential
    Reasoning about object-oriented programs that use subtypes
    • 118
    • Highly Influential
    Systems programming in modula-3
    • 384
    • Highly Influential
    Preliminary design of the Thor object-oriented database system
    • Proc.
    • 1992
    Modular speci cation and veri cation of object-oriented programs
    • IEEE
    • 1991
    Modular speciication and veriication of object-oriented programs
    • IEEE Software
    • 1991
    The C++ Progr-ammtng
    • La nguug.. Addison-Wesley. UTTING,
    • 1986