Barbara Liskov

"Recall that the main idea is... implementations of the same abstraction can be substituted freely."

Barbara Liskov (born 1939-11-07 as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing.

Quotes

• Data abstractions provide the same benefits as procedures, but for data. Recall that the main idea is to separate what an abstraction is from how it is implemented so that implementations of the same abstraction can be substituted freely.
  • This verbal quote, which neatly describes the Liskov Substitution Principle, was made during her keynote speech at OOPSLA 87. This principle has become one of the key tenets of modern Software Engineering, one of the five SOLID software design principles.

About Barbara Liskov

• One of the 50 most important women in science
• a key figure in the development of applications that run on distributed collections of computers
  • Svitil, Kathy (13 November 2002). "The 50 Most Important Women in Science". Discover. Retrieved on 1 May 2019. 

External links

• ACM Author Profile
• Semantic Scholar

• Turing Award lecture

Selected papers

• (1974-03-28)"Programming with abstract data types". ACM SIGPLAN Notices 9 (4): 50–59. ISSN 0362-1340. DOI:10.1145/942572.807045.
• (1977-08-01)"Abstraction mechanisms in CLU". Communications of the ACM 20 (8): 564–576. ISSN 0001-0782. DOI:10.1145/359763.359789.
• (1988-05)"Keynote address - data abstraction and hierarchy". ACM SIGPLAN Notices 23 (5): 17–34. DOI:10.1145/62139.62141. / Liskov, Barbara H.. “Keynote address - data abstraction and hierarchy.” OOPSLA '87 (1987).
• (1992-11-01)"Providing high availability using lazy replication". ACM Transactions on Computer Systems 10 (4): 360–391. ISSN 0734-2071. DOI:10.1145/138873.138877.
• (1994-11-01)"A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems 16 (6): 1811–1841. ISSN 0164-0925. DOI:10.1145/197320.197383.
• (1999-02-22)"Practical Byzantine fault tolerance". Proceedings of the Third Symposium on Operating Systems Design and Implementation: 173–186.
• (2000-10-01)"Protecting privacy using the decentralized label model". ACM Transactions on Software Engineering and Methodology 9 (4): 410–442. ISSN 1049-331X. DOI:10.1145/363516.363526.