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} }
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
Topics from this paper
1,282 Citations
Behavioral Subtyping Relations for Active Objects
- Computer Science
- Formal Methods Syst. Des.
- 2003
- 28
- Highly Influenced
An Approach to Behavioral Subtyping Based on Static Analysis
- 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
- Computer Science
- 2000
- 61
- Highly Influenced
Forcing behavioral subtyping through specification inheritance
- Computer Science
- Proceedings of IEEE 18th International Conference on Software Engineering
- 1996
- 225
- PDF
References
SHOWING 1-7 OF 7 REFERENCES
Modular specification and verification of object-oriented programs
- Computer Science
- IEEE Software
- 1991
- 252
- Highly Influential
Reasoning about object-oriented programs that use subtypes
- Computer Science
- OOPSLA/ECOOP '90
- 1990
- 118
- 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