Notizen: Liskovsches Substitutionsprinzip - Liskov Substitution Principle

Eine abgeleitete Klasse enthält alle Eigenschaften der Oberklasse. Dementsprechend kann die abgeleitete Klasse überall da eingesetzt werden, wo die Oberklasse erwartet wird.

Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a subtype of T.
A Behavioral Notion of Subtyping, Barbara Liskov und Jeannette Wing

Siehe auch:
http://de.wikipedia.org/wiki/Liskovsches_Substitutionsprinzip
http://en.wikipedia.org/wiki/Liskov_substitution_principleFlagge Großbritanien