Barbara Liskov
Maggiori informazioni
- Nata
- Nota per
- Principio di sostituzione di Liskov, il linguaggio CLU, i tipi di dato astratti
- Premi
- Premio Turing 2008
- Nazionalità
- Statunitense
L'informatica il cui lavoro sui tipi di dato astratti sta alla base di praticamente tutto ciò che oggi chiamiamo orientamento agli oggetti.
Liskov guidò lo sviluppo del linguaggio CLU al MIT negli anni Settanta. Introdusse iteratori, gestione delle eccezioni e — soprattutto — i tipi di dato astratti, l'idea che un tipo sia definito da ciò che si può fare con esso e non da come è memorizzato. È l'incapsulamento prima ancora che la parola esistesse.
Il principio di sostituzione, formulato con Jeannette Wing nel 1994, afferma che un sottotipo deve poter essere usato ovunque sia atteso il tipo base senza alterare la correttezza del programma. È la L di SOLID e il più violato dei cinque. Fu tra le prime donne negli Stati Uniti a conseguire un dottorato in informatica.