Barbara Liskov (born November 7, 1939, as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming...

called strong behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy...

language created at the Massachusetts Institute of Technology (MIT) by Barbara Liskov and her students starting in 1973. While it did not find extensive use...

politician Barbara Liskov (born 1939), American computer scientist, recipient of the Turing Award Barbara Longhi (1552–1638), Italian painter Barbara de Loor (born...

Only three women have been awarded the prize: Frances Allen (in 2006), Barbara Liskov (in 2008), and Shafi Goldwasser (in 2012). As of 2024, 77 people have...

Management Technique for Object-Oriented Databases. His advisors were Barbara Liskov and Frans Kaashoek. Before joining Google, Ghemawat worked at the DEC...

principle of safe substitution is often called the Liskov substitution principle, after Barbara Liskov who popularized it in a keynote address at a conference...

Argus is a programming language created at MIT by Barbara Liskov between 1982 and 1988, in collaboration with Maurice Herlihy, Paul Johnson, Robert Scheifler...

McCarthy, Silvio Micali, Marvin Minsky, Ronald L. Rivest, Adi Shamir, Barbara Liskov, Michael Stonebraker, and Tim Berners-Lee IJCAI Computers and Thought...

AEGIS Warship, and other applications. Recent work by Miguel Castro and Barbara Liskov used the state machine approach in what they call a "Practical Byzantine...

runtime. A different but related concept is latent typing. In 1974, Barbara Liskov and Stephen Zilles defined a strongly-typed language as one in which...

Retrieved 21 July 2014. Abelson & Sussman 1996, Chapter 1, footnote 11. Barbara Liskov, "A History of CLU", MIT Laboratory for Computer Science Technical Report...

Australia's first female Chief Scientist. 2008: American computer scientist Barbara Liskov won the Turing Award for "contributions to practical and theoretical...

Ukraine-born computer scientist; computational complexity, Knuth Prize (2012) Barbara Liskov (born Huberman), first woman to be granted a doctorate in computer science...

pipelining technique (using futures to overcome latency) was invented by Barbara Liskov and Liuba Shrira in 1988, and independently by Mark S. Miller, Dean...

1991. Archived from the original on 2004-05-11. Retrieved 2007-03-23. "Barbara Liskov named Institute Professor". Retrieved 2008-07-01. "MIT Sloan Faculty...

"Top prize in computing goes to MIT professor". The Boston Globe. "Barbara Liskov wins Turing Award". MIT. 2009-03-10. "Fellow Awards – Charles Thacker"...

where the principle of subtyping, known as the Liskov substitution principle, does not hold. Barbara Liskov and Jeannette Wing formulated the principle succinctly...

Hopcroft: BS Seattle University; MS EE Stanford 1962, Phd EE Stanford 1964. Barbara Liskov: BSc Berkeley 1961; PhD Stanford. Raj Reddy: BS from Guindy College...

FTMP, Honeywell's MMFCS, and SRI's SIFT. In 1999, Miguel Castro and Barbara Liskov introduced the "Practical Byzantine Fault Tolerance" (PBFT) algorithm...

establishment did not adopt his notion. A 1976 MIT memo co-authored by Barbara Liskov lists Simula 67, CLU, and Alphard as object-oriented languages, but...

Archived from the original on March 14, 2016. Retrieved March 18, 2016. Barbara Liskov with John Guttag (2000). Program Development in Java - Abstraction,...

methodologies for software engineering. ADTs were first proposed by Barbara Liskov and Stephen N. Zilles in 1974, as part of the development of the CLU...

Dan Ingalls, Leonard Kleinrock 2023: Rodney Brooks, Thomas E. Kurtz, Barbara Liskov San Francisco Bay Area portal Computer museums History of computing...

(Ph.D. computer science), winner of IJCAI Computers and Thought Award Barbara Liskov (Ph.D.), first female Ph.D. in computer science in the US and Turing...

College, Princeton University Doctoral advisor Donald C. Spencer Doctoral students Ruzena Bajcsy Ramanathan V. Guha Barbara Liskov Hans Moravec Raj Reddy...

1962, Logo by Cynthia Solomon in 1967 with members of her team, CLU by Barbara Liskov in 1974, Smalltalk by Adele Goldberg, Diana Merry, and four main other...

on-board flight software for the Apollo's Missions to Space. Barbara Liskov: developed the "Liskov substitution principle." Radia Perlman: invented the "Spanning...

for women in computing. Some of Liuba Shrira's publications include: Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson; Liuba Shrira; Michael...

Steven Pieper at Argonne National Laboratory Speakeasy-2 1974 CLU Barbara Liskov ALGOL 60, Lisp, Simula 1974 GRASS Thomas A. DeFanti BASIC 1974 BASIC...