behavioral subtyping

/B IH0 HH EY1 V Y ER0 AH0 L S AH0 B T AY0 P IH0 NG/
noun
  1. 1

    (programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.