CIENTISTAS DA COMPUTAÇÃO
Barbara Liskov
Abstração de dados e tipos
Barbara Liskov liderou o desenvolvimento da linguagem CLU e contribuiu para a abstração de dados. O princípio de substituição associado a seu nome, formalizado com Jeannette Wing, relaciona subtipos à preservação do comportamento esperado pelos usuários de um tipo.
Conexão com a sala de aula: Ao criar uma subclasse, não basta reutilizar código: ela precisa respeitar as promessas do tipo que substitui.