“Designing something just powerful enough is an art.” Cody O’Loughlin for Quanta Magazine. Liskov, among other software thinkers of the day, was trying to understand how to structure programs in a way that made them easier to reason about. * Americans didn’t develop immunity to Bolshevik propaganda yet. 1968… …   Deutsch Wikipedia, Liskov-Prinzip — Das liskovsche Substitutionsprinzip (LSP) oder Ersetzbarkeitsprinzip ist ein Kriterium in der objektorientierten Programmierung, das angibt, wann ein Datentyp als Subtyp eines anderen Typs modelliert werden kann. 1984: Wirth | algorithms computer science Q&A All topics. Institute Professor Barbara Liskov has won the Association for Computing Machinery's A.M. Turing Award, one of the highest honors in science and engineering, for her pioneering work in the design of computer programming languages. Continuing to use this site, you agree with this. Something that actually could reduce bugs), Ole-Johan Dahl, Kristen Nygaard (sounds female, so maybe a legend could be built around Professor Nygaard), Alan Kay (Smalltalk from Mr. Bigtalk), and Peter Naur (ALGOL again). 1968: Hamming | 2019: Catmull, Hanrahan, https://de.wikipedia.org/w/index.php?title=Barbara_Liskov&oldid=203620749, Hochschullehrer (Massachusetts Institute of Technology), Mitglied der American Academy of Arts and Sciences, Mitglied der National Academy of Sciences, Mitglied der National Academy of Engineering, „Creative Commons Attribution/Share Alike“, Liskov, Barbara Jane Huberman; Liskov, Barbara H.; Huberman, Barbara Jane (Geburtsname), amerikanische Informatikerin und Turingpreisträgerin. 2009: Thacker | — Barbara Liskov. How did Liskov and her colleagues at MIT go about solving this problem? Liskov’s work in programming methodology led to the invention of the notion of data abstraction, which is an important underpinning of how software systems are organized today. Das liskovsche… …   Deutsch Wikipedia, Liskov substitution principle — In object oriented programming, the Liskov substitution principle is a particular definition of subtype that was introduced by Barbara Liskov in a 1987 conference keynote address entitled Data abstraction and hierarchy ] as follows:: Let q(x) be… …   Wikipedia, Principe de substitution de liskov — Le principe de substitution de Liskov est, en programmation orientée objet, une définition particulière de la notion de sous type. Her concerns came from her work on the operating system Venus, implemented while she was working at MITRE Corporation. 1999: Brooks | Ihren Bachelor in Mathematik erhielt Liskov 1961 an der University of California, Berkeley. Wikipedia contradicts this story to some extent and the actual patent to Ms. Lamarr and George Anthell reveals that they narrowly claimed a specific piano roll-style mechanism for controlling frequency hopping, not the broad invention of frequency hopping. Sie arbeitete daraufhin jeweils ein Jahr beim Think-Tank Mitre Corporation und der Harvard University als Programmiererin, und schließlich an der Stanford University als wissenschaftliche Hilfskraft im KI-Bereich, bis sie 1968 dort mit der Arbeit A Program to Play Chess End Games bei John McCarthy ihren Informatik-Ph.D. erhielt. Keynote: The Power of Abstraction. 1987: Cocke | 2005: Naur | Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion… …   Wikipédia en Français, Лисков, Барбара — Барбара Лисков Barbara Jane Liskov Дата рождения: 7 ноября 1939(1939 11 07) (73 года) Страна …   Википедия, Futures and promises — In computer science, future, promise, and delay refer to constructs used for synchronization in some concurrent programming languages. Of course, back in the day, it wasn’t clear what modules were about either. A posting every day; an interesting idea every three months…. She is currently the Ford Professor of Engineering in the Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology.… …   Wikipedia, Barbara H. Liskov — Saltar a navegación, búsqueda Barbara Liskov nee Huberman, Ph.D. (nacida el 7 de noviembre de 1939) es una prominente científica de la computación. Also, will this article on Barbara Liskov and the promotion of the article by “allies” have the desired effect of getting more people who identify as “women” into computer nerdism? 1994: Feigenbaum, Reddy | Ihren Bachelor in Mathematik erhielt sie 1961 an der University of California, Berkeley. Barbara Liskov a mené de nombreux projets importants, parmi lesquels la conception et l implémentation du langage CLU, le premier langage de programmation à… …   Wikipédia en Français, Barbara Liskov — (born Barbara Jane Huberman, 1939) is a computer scientist. Early coders relied on these statements to fix unforeseen consequences of their code, but they made programs hard to read, unpredictable and even dangerous. Patent Subject Matter Eligibility 101 . But by the late 1960s, advances in computing power had outpaced the abilities of programmers. However, https://en.wikipedia.org/wiki/Turing_Award shows that quite a few have been recognized in the area of programming language design and/or algorithms, e.g., Alan Perlis, Edsger W. Dijkstra, Donald E. Knuth, John Backus, Robert W. Floyd, Kenneth E. Iverson (who can live without APL? 1996: Pnueli | Supposing that they (Susan D’Agostino) are an arbiter of what CS history is not only childish, it is also silly. (see this study on Massachusetts court records, though records of litigation following out-of-wedlock sex are sealed) Reporters were covering divorce litigation in newspaper stories prior to the computer age, e.g., a November 11, 1939 piece in the NYT describing an allegation of “cruelty”, and one from December 2, 1934, “a charge of extreme cruelty won a divorce here today for Mrs. Edith Crocker Sanger from Prentice Sanger of New York City.” Divorce was apparently a good business even in the Depression. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion… …   Wikipédia en Français, Principe de substitution de Liskov — Le principe de substitution de Liskov est, en programmation orientée objet, une définition particulière de la notion de sous type. There is terrible stuff going on. Then I discovered that in the early 80s, Sophie Wilson presented as Roger. Susan D'Agostino. Also as she said, does a language makes the things you want to do easy to do? 1972: Dijkstra | 2004 erhielt sie die John-von-Neumann-Medaille für „fundamental contributions to programming languages, programming methodology, and distributed systems“ (sinngemäß übersetzt: „Grundlegende Beiträge zu Programmiersprachen, Programmiermethodiken und verteilte Systeme“), 2005 einen Ehrendoktortitel der ETH Zürich und 2009 den Turing-Award. Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. I couldn’t work out why they portrayed the original BBC Micro designers as very stereotypical white male nerds, when one of their number was the 20-year-old Sophie Wilson. Barbara Liskov is a pioneer in the design of computer programming languages, helping to make computer programs more reliable, secure, and easy to use. What I really like from their approach is how they tested their ideas creating an actual language. They would offer an API, a contract, which had to be satisfied to the other users of the module. 1968 erhielt sie an der Stanford University als erste Frau in den USA den Titel eines Ph.D. in Informatik, 2008 nach Frances E. Allen als zweite Frau den Turing Award.. Leben. November 1939) ist eine amerikanische Informatikerin. The idea that software programming was an intellectual activity that required a great deal of thought was kind of controversial – Barbara Liskov. As for Liskov, your tone notwithstanding, she is very much a pioneer of our field. Many computer scientists created programs without thought for design. The result of this research is the programming language CLU, a predecessor of many modern OOP languages. She might have done her PhD thesis about Artificial Intelligence under the supervision of John McCarthy, becoming the first woman to get a computer science PhD in the United States, or have a programming principle that’s named after her, but back in 1974, she changed the software world for ever: She invented Abstract Data Types. Sie arbeitete daraufhin jeweils ein Jahr beim Think-Tank Mitre Corporation und der Harvard University als Programmiererin, und schließlich an der Stanford University als wissenschaftliche Hilfskraft im KI-Bereich, bis sie 1968 dort mit der Arbeit A Program to Play Chess End Games bei John McCarthy ihren Informatik-Ph.D. erhielt. That meant that as a programmer you could modify the contents of the module, and as long as you didn’t break the contract, the program would continue working as expected. Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. It provided strong type checking, and many other techniques, that are so widespread today, that almost seem too basic to be talking about them. 1992: Lampson | What other fundamental technologies can be plausibly attributed to a person who identified as a “woman”? This all sounds very basic to us, forty four years later, but back in the 1974 this was all a revelation. 1998: Gray | Liskov (née Barbara Huberman) is a computer scientist at MIT, where she is Ford Professor of Engineering in the Department of Electrical Engineering and Computer Science and Institute Professor in the Computer Science and Artificial Intelligence Lab (CSAIL), where she leads the Programming Methodology Group.