• DOI:10.1145/197320.197383
Corpus ID: 999172

A behavioral notion of subtyping

@article{Liskov1994ABN,
  title={A behavioral notion of subtyping},
  author={B. Liskov and Jeannette M. Wing},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1994},
  volume={16},
  pages={1811-1841}
}

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

View on ACM

web.cse.ohio-state.edu

Save to Library

Create Alert

Cite

Launch Research Feed