behavioral subtyping

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

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[edit]

See also[edit]

References[edit]

  1. ^ 5.5 Behavioral Subtyping by A. Poetzsch-Heffter, 2007-06-18, TU Kaiserslautern, 2007-06-18 | accessed at 2017-07-25
Retrieved from "https://en.wiktionary.org/w/index.php?title=behavioral_subtyping&oldid=69683131"