behavioral subtyping
noun1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A subtype relation of the form that each subtype object satisfies the specification of the supertype.
Language theory
- Related terms
- Liskov substitution principle
- Hypernyms
- subtyping