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_principle