Substitutability is a principle in computer programming. It states that, if S is a subtype of T, then objects of datatype T in a computer program may be replaced with objects of type S (i.e., objects of type S may be ''substituted'' for objects of type T), without altering any of the desirable properties of that program (correctness, task performed, etc.). This principle is often used in object-oriented computer programming. ==See Also== * Liskov substitution principle * Type signature ---- Computing Computer science
The article Liskov substitution principleis the only article (apart from automatically generated lists of deadend article that points to this article. Quotation from the Liskov article : "Thus, the notion of "subtype" is based on the notion of substitutability; that is, if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program (e.g., correctness)." Does repeating "if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program" really justify this page's existence? :No. I don't think it does. Here's the text I've already placed on your talk page. I was reading your comments on substitutibility and I think that you are correct. I am tempted to either speedily delete it or (perhaps even better) move it to wiktionary. --User:Jpittman 23:21, 3 Oct 2004 (UTC) Well User:Lachaume has done a nice job on generalizing the article - so no need for VfD or wiktionary. --User:Cje 15:31, 17 Oct 2004 (UTC)
See other meanings of words starting from letter:
Words begining with Substitutability:
Substitutability
Substitutability
Substitutability
Substitutability is a principle in computer programming. It states that, if S is a subtype of T, then objects of datatype T in a computer program may be replaced with objects of type S (i.e., objects of type S may be ''substituted'' for objects of type T), without altering any of the desirable properties of that program (correctness, task performed, etc.). This principle is often used in object-oriented computer programming. ==See Also== * Liskov substitution principle * Type signature ---- Computing Computer science
Substitutability
The article Liskov substitution principleis the only article (apart from automatically generated lists of deadend article that points to this article. Quotation from the Liskov article : "Thus, the notion of "subtype" is based on the notion of substitutability; that is, if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program (e.g., correctness)." Does repeating "if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program" really justify this page's existence? :No. I don't think it does. Here's the text I've already placed on your talk page. I was reading your comments on substitutibility and I think that you are correct. I am tempted to either speedily delete it or (perhaps even better) move it to wiktionary. --User:Jpittman 23:21, 3 Oct 2004 (UTC) Well User:Lachaume has done a nice job on generalizing the article - so no need for VfD or wiktionary. --User:Cje 15:31, 17 Oct 2004 (UTC)
See other meanings of words starting from letter:
S
SB | SC | SD | SE | SF | SG | SH | SI | SJ | SK | SL | SM | SN | SO | SP | SR | SS | ST | SU | SW | SX | SY | SZ |Words begining with Substitutability:
Substitutability
Substitutability
These materials are based on Wikipedia and licensed under the GNU FDL
YouTube.com videos better site than Turbo Tax 2007
