behavioral subtyping (English, noun)
expansion: behavioral subtyping (uncountable)
Senses:
topics: computing
engineering
mathematics
natural-sciences
physical-sciences
programming
sciences
qualifier: language theory
glosses: A subtype relation of the form that each subtype object satisfies the specification of the supertype.
tags: uncountable
Forms: