behavioral subtyping

noun

A subtype relation of the form that each subtype object satisfies the specification of the supertype.

Meanings

nounbehavioral subtyping (uncountable)
  1. uncountablelanguage theorycomputingA subtype relation of the form that each subtype object satisfies the specification of the supertype.
Cite this entry
APA

behavioral subtyping. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/behavioral%20subtyping

MLA

“behavioral subtyping.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/behavioral%20subtyping. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “behavioral subtyping,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/behavioral%20subtyping.

Source: behavioral subtyping on Wiktionary, CC BY-SA 4.0.