behavioral subtyping

English

Noun

behavioral subtyping (uncountable)

1. (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