Liskov Substitution Principle | Object-oriented programming, Subtype polymorphism, Data type, Computer program, Barbara Liskov, Jeannette Wing, Design by contract, Halting problem. Dieser Artikel ist nicht verfügbar.Liskov Substitution Principle | Object-oriented programming, Subtype polymorphism, Data type, Computer program, Barbara Liskov, Jeannette Wing, Design by contract, Halting problem

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Substitutability is a principle in object-oriented programming. It states that, if S is a subtype of T, then objects of type T in a computer program may be replaced with objects of type S, without altering any of the desirable properties of that program. More formally, the Liskov substitution principle is a particular definition of a subtyping relation, called behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address entitled Data abstraction and hierarchy. It is a semantic rather than merely syntactic relation because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Substitutability is a principle in object-oriented programming. It states that, if S is a subtype of T, then objects of type T in a computer program may be replaced with objects of type S, without altering any of the desirable properties of that program. More formally, the Liskov substitution principle is a particular definition of a subtyping relation, called behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address entitled Data abstraction and hierarchy. It is a semantic rather than merely syntactic relation because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular