behavioral subtyping
English
editNoun
editbehavioral subtyping (uncountable)
- (programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.[1]
Hypernyms
editSee also
editReferences
edit- 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