behavioral subtyping
Appearance
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