Barbara Liskov
folcloreprogramação
A recebedora do Prêmio Turing de 2008, citada pelas fundações práticas e teóricas de projeto de linguagens e de sistemas, em especial abstração de dados, tolerância a falhas e computação distribuída.
O princípio de substituição que leva o nome dela é o que a maioria dos programadores encontra: um subtipo precisa ser utilizável em qualquer lugar em que o supertipo é, sem que quem chama precise saber. Isso é uma afirmação sobre interfaces, e não sobre herança, e é por isso que abstração sobrevive ao contato com uma base de código grande. O trabalho dela em sistemas distribuídos importa tanto quanto e é menos creditado - ela e seu aluno Brian Oki chegaram à replicação com carimbo de visão mais ou menos ao mesmo tempo que o Paxos, de forma independente, que é a segunda vez nesta história em que dois grupos chegam à mesma resposta sem saber.
Também conhecido como: liskov, liskov substitution