Le prix Turing 2008 pour Barbara Liskov

Félicitations à Mme Liskov célèbre pour le principe de programmation objet qui porte son nom publié en 1987 :

If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2, then S is a subtype of T.

• Voici la nouvelle originale en français publiée sur Linuxfr.org.


• Le principe de substitution de Liskov


• The Liskov Substitution Principle for "Duck-Typed" Languages