behavioral subtyping
Jump to navigation
Jump to search
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