Liskov substitution principle

Meanings

1. A principle stating that any type having a subtype should be replaceable by its subtype without altering any of the desirable properties (such as correctness, task performed, etc.) of the program.

Etymology

Named after Barbara Liskov (1939–), who introduced the concept in 1987.