behavioral subtyping

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|programming|language theory}} A [[subtype]] [[relation]] of the form that each subtype object satisfies the specification of the [[supertype]].<ref>[https://softech.informatik.uni-kl.de/homepage/teaching/FAsoopSS07/subtypingInheritance2.pdf 5.5 Behavioral Subtyping] by A. Poetzsch-Heffter, 2007-06-18, [https://softech.informatik.uni-kl.de/ TU Kaiserslautern], 2007-06-18 | accessed at 2017-07-25</ref>

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.