Genel bakış
Barbara Liskov (1939–), Amerikalı bilgisayar bilimcidir. Programlama dilleri, veri soyutlama ve dağıtık sistemler alanındaki çalışmalarıyla tanınır; 2008 ACM A. M. Turing Ödülü’nü aldı. [1]
ÇALIŞMALARI
Liskov’un CLU dili üzerindeki çalışmaları soyut veri türlerinin uygulamada yerleşmesine yardım etti. Jeannette Wing ile formüle ettiği yerine geçme ilkesi, bir alt türün üst türün beklenen davranışını bozmadan kullanılabilmesini tanımlar. Bu yaklaşım nesne yönelimli yazılım tasarımı ve doğrulamada kalıcı etki yarattı. [1]