vendredi 13 mars 2009

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.

Aucun commentaire: