Liskov substitution principle

Etymology
, who introduced the concept in 1987.

Proper noun

 * 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.

Translations

 * German: liskovsche Substitutionsprinzip, Ersetzbarkeitsprinzip