behavioral subtyping (suomeksi)

Määritelmät:

(lb, en, programming, language theory) a subtype relation of the form that each subtype object satisfies the specification of the supertype.[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