Liskov substitution principle
Definition from Wiktionary, the free dictionary
Named for Barbara Liskov who introduced the concept in 1987.
- (programming, object-oriented) principle that states that any type having a subtype should be replacable by its subtype without altering any of the desirable properties (like correctness, task performed, etc.) of that program.