behavioral subtyping
Noun
Meaning
behavioral subtyping (uncountable)
(programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.
Noun
behavioral subtyping (uncountable)
(programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.