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