Barbara Liskov

Un article de Wikipédia, l'encyclopédie libre.

Barbara Liskov née Huberman, née le 7 novembre 1939, est une éminente informaticienne.

Barbara Liskov a mené de nombreux projets importants, parmi lesquels la conception et l'implémentation du langage CLU, le premier langage de programmation à supporter l'abstraction de données, Argus, le premier langage de haut niveau à supporter l'implémentation de programmes distribués, et Thor, un système de base de données orienté objet. Avec Jeannette Wing, elle développa une définition particulière du sous-typage, connue sous le nom de principe de substitution de Liskov.

Barbara Liskov a reçu en 2004 la médaille John von Neumann de l'IEEE pour « ses contributions fondamentales aux langages de programmation, à la méthodologie de la programmation et aux systèmes distribués »

[modifier] Livres

  • Barbara Liskov et John V. Guttag. La maîtrise du développement du logiciel  : abstraction et spécification. Les éditions d'organisation, Paris, 1990, 614p . ISBN 2-7081-0904-9

[modifier] Liens externes