subtyping ==>
subtype
<programming> If S is a subtype of T then an expression of type S may be
used anywhere that one of type T can and an implicit type conversion will be
applied to convert it to type T.
In object oriented programming, this means that objects of type S must accept
every message that one of type T would.
(1997-07-28)
Nearby terms:
Subset-Equational Language « Substitute « substrate
«
subtype » subtyping » SuccessoR » successor
|