behavioral subtyping

== English == === Noun === behavioral subtyping (uncountable) (programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype. ==== Hypernyms ==== subtyping === See also === Liskov substitution principle === References === behavioral subtyping on Wikipedia.Wikipedia