Barbara Liskov (born November 7, 1939, as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming...
21 KB (1,782 words) - 10:08, 10 May 2024
called strong behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy...
11 KB (1,191 words) - 14:07, 22 March 2024
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...
14 KB (1,371 words) - 07:41, 23 January 2024
politician Barbara Liskov (born 1939), American computer scientist, recipient of the Turing Award Barbara Longhi (1552–1638), Italian painter Barbara de Loor (born...
22 KB (2,356 words) - 10:30, 30 May 2024
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...
79 KB (3,519 words) - 06:20, 11 May 2024
principle of safe substitution is often called the Liskov substitution principle, after Barbara Liskov who popularized it in a keynote address at a conference...
25 KB (3,590 words) - 16:14, 29 March 2024
Management Technique for Object-Oriented Databases. His advisors were Barbara Liskov and Frans Kaashoek. Before joining Google, Ghemawat worked at the DEC...
10 KB (745 words) - 16:33, 12 January 2024
Argus is a programming language created at MIT by Barbara Liskov between 1982 and 1988, in collaboration with Maurice Herlihy, Paul Johnson, Robert Scheifler...
2 KB (122 words) - 00:40, 22 April 2024
McCarthy, Silvio Micali, Marvin Minsky, Ronald L. Rivest, Adi Shamir, Barbara Liskov, Michael Stonebraker, and Tim Berners-Lee IJCAI Computers and Thought...
24 KB (2,383 words) - 11:19, 18 May 2024
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...
24 KB (3,113 words) - 00:29, 12 May 2024
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...
12 KB (1,328 words) - 14:09, 13 May 2024
Retrieved 21 July 2014. Abelson & Sussman 1996, Chapter 1, footnote 11. Barbara Liskov, "A History of CLU", MIT Laboratory for Computer Science Technical Report...
18 KB (1,923 words) - 02:36, 26 May 2024
Australia's first female Chief Scientist. 2008: American computer scientist Barbara Liskov won the Turing Award for "contributions to practical and theoretical...
193 KB (19,005 words) - 03:18, 27 May 2024
Ukraine-born computer scientist; computational complexity, Knuth Prize (2012) Barbara Liskov (born Huberman), first woman to be granted a doctorate in computer science...
23 KB (1,638 words) - 23:36, 18 March 2024
pipelining technique (using futures to overcome latency) was invented by Barbara Liskov and Liuba Shrira in 1988, and independently by Mark S. Miller, Dean...
44 KB (4,640 words) - 09:46, 15 May 2024
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...
33 KB (1,368 words) - 07:42, 1 April 2024
FTMP, Honeywell's MMFCS, and SRI's SIFT. In 1999, Miguel Castro and Barbara Liskov introduced the "Practical Byzantine Fault Tolerance" (PBFT) algorithm...
33 KB (3,754 words) - 18:08, 1 March 2024
"Top prize in computing goes to MIT professor". The Boston Globe. "Barbara Liskov wins Turing Award". MIT. 2009-03-10. "Fellow Awards – Charles Thacker"...
213 KB (9,884 words) - 23:10, 29 May 2024
where the principle of subtyping, known as the Liskov substitution principle, does not hold. Barbara Liskov and Jeannette Wing formulated the principle succinctly...
7 KB (806 words) - 22:18, 1 February 2024
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...
185 KB (17,289 words) - 02:41, 29 May 2024
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...
69 KB (7,596 words) - 04:43, 30 May 2024
Archived from the original on March 14, 2016. Retrieved March 18, 2016. Barbara Liskov with John Guttag (2000). Program Development in Java - Abstraction,...
71 KB (6,384 words) - 22:41, 29 April 2024
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...
32 KB (4,412 words) - 19:45, 22 May 2024
Dan Ingalls, Leonard Kleinrock 2023: Rodney Brooks, Thomas E. Kurtz, Barbara Liskov San Francisco Bay Area portal Computer museums History of computing...
23 KB (2,081 words) - 01:37, 6 March 2024
(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...
216 KB (23,322 words) - 23:28, 18 May 2024
College, Princeton University Doctoral advisor Donald C. Spencer Doctoral students Ruzena Bajcsy Ramanathan V. Guha Barbara Liskov Hans Moravec Raj Reddy...
34 KB (3,186 words) - 23:07, 29 May 2024
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...
65 KB (7,595 words) - 20:39, 16 April 2024
on-board flight software for the Apollo's Missions to Space. Barbara Liskov: developed the "Liskov substitution principle." Radia Perlman: invented the "Spanning...
57 KB (6,439 words) - 05:32, 30 May 2024
for women in computing. Some of Liuba Shrira's publications include: Barbara Liskov; Sanjay Ghemawat; Robert Gruber; Paul Johnson; Liuba Shrira; Michael...
4 KB (350 words) - 20:53, 4 April 2024
Steven Pieper at Argonne National Laboratory Speakeasy-2 1974 CLU Barbara Liskov ALGOL 60, Lisp, Simula 1974 GRASS Thomas A. DeFanti BASIC 1974 BASIC...
49 KB (229 words) - 21:12, 23 May 2024