behavioral subtyping
English
Noun
behavioral subtyping (uncountable)
- (programming, language theory) a subtype relation of the form that each subtype object satisfies the specification of the supertype.[1]
Hypernyms
- subtyping
See also
- Liskov substitution principle
References
behavioral subtyping on Wikipedia.Wikipedia
- 5.5 Behavioral Subtyping by A. Poetzsch-Heffter, 2007-06-18, TU Kaiserslautern, 2007-06-18 | accessed at 2017-07-25