# AOL Web Search

1. ##### About 8 search results
1. Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman ) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the development of the Liskov substitution principle which describes the fundamental nature of data abstraction, and is used in type theory and in object-oriented programming. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.

### Barbara Liskov - Wikipedia

https://en.wikipedia.org/wiki/Barbara_Liskov
3. ### Barbara Liskov - Wikipedia

en.wikipedia.org/wiki/Barbara_Liskov

Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the development of the Liskov substitution principle which describes the fundamental nature of data abstraction , and is used in ...

4. ### 里氏替换原则（Liskov Substitution Principle） - sangmado - 博客园

www.cnblogs.com/gaochundong/p/liskov...

Barbara Liskov 在 1988 年提出了这一原则： What is wanted here is something like the following substitution property: If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T.

5. ### Is-a - Wikipedia

en.wikipedia.org/wiki/Is-a

Liskov substitution principle Main article: Liskov substitution principle Liskov substitution principle explains a property, "If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T," . [6]

6. ### Futures and promises - Wikipedia

en.wikipedia.org/wiki/Futures_and_promises

The promise pipelining technique (using futures to overcome latency) was invented by Barbara Liskov and Liuba Shrira in 1988, and independently by Mark S. Miller, Dean Tribble and Rob Jellinghaus in the context of Project Xanadu circa 1989.

7. ### ekşi sözlük - kutsal bilgi kaynağı

eksisozluk.com

ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri takip etmek için giriş yapmalısın.

8. ### Stanford University - Wikipedia

en.wikipedia.org/wiki/Stanford_University

Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California.The campus occupies 8,180 acres (3,310 hectares), among the largest in the United States, and enrolls over 17,000 students.

9. ### John McCarthy (científico) - Wikipedia, la enciclopedia libre

es.wikipedia.org/wiki/John_McCarthy_(científico)

John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927 - Stanford, California, 24 de octubre de 2011), [1] [2] [3] también conocido como Tío John McCarthy, fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial.

10. ### A.M. Turing Award Winners by Year

amturing.acm.org/byyear.cfm

ACM (www.acm.org) is widely recognized as the premier organization for computing professionals, delivering a broad array of resources that advance the computing and IT disciplines, enable professional development, and promote policies and research that benefit society.