Barbara Liskov
Daha fazla bilgi
- Doğum
- Tanınma nedeni
- Liskov ikame ilkesi, CLU dili, soyut veri tipleri
- Ödüller
- Turing Ödülü 2008
- Uyruk
- Amerikalı
Soyut veri tipleri üzerine çalışmaları, bugün nesne yönelimli dediğimiz hemen her şeyin temelini oluşturan bilgisayar bilimcisi.
Liskov, 1970'ler boyunca MIT'de CLU dilinin geliştirilmesine öncülük etti. CLU; yineleyicileri, istisna işlemeyi ve en önemlisi soyut veri tiplerini getirdi: bir tip, nasıl saklandığıyla değil, onunla neler yapılabildiğiyle tanımlanır. Bu, daha kelimesi ortada yokken kapsüllemenin ta kendisiydi.
Jeannette Wing ile birlikte 1994'te formüle ettiği ikame ilkesi, bir alt tipin, programın doğruluğunu bozmadan taban tipin beklendiği her yerde kullanılabilmesi gerektiğini söyler. SOLID'in L'si olan bu ilke, beş ilke içinde en sık çiğnenenidir. Liskov, ABD'de bilgisayar bilimlerinde doktora yapan ilk kadınlar arasındadır.