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.[1]

Hypernyms

See also

References
  1. 5.5 Behavioral Subtyping by A. Poetzsch-Heffter, 2007-06-18, TU Kaiserslautern, 2007-06-18 | accessed at 2017-07-25
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.