Liskov substitution principle [SEP] named after
subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled "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. Barbara Liskov and Jeannette Wing described the principle succinctly in a 1994 paper as follows:
"Subtype Requirement": Let be a property provable about objects of type . Then should be true for objects of type where
- Meyer B., "Object-oriented Software Construction", Prentice Hall, New York, 1988,
External links.
- The Liskov Substitution Principle, T. S. Norvell, 2003.
- Liskov Substitution Principle Explained
- SOLID Class Design: The Liskov Substitution Principle