Liskov Substitution Principle: Object-oriented programming, Subtype polymorphism, Data type, Computer program, Barbara Liskov, Jeannette Wing, Design by contract, Halting problem - Tapa blanda

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.