1985: Karp | 2009: Thacker | 1998: Gray | 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. Liskov war unter anderem im Computer Science and Telecommunications Board des National Research Council und im Computer and Information Science and Engineering Advisory Committee der National Science Foundation, und beriet unter anderem Bolt Beranek and Newman, die Digital Equipment Corporation, Hewlett-Packard, die NCR Corporation und Prime Computer. Gemeinsam mit Jeannette Wing entwickelte sie das für die objektorientierte Programmierung bedeutsame Liskovsche Substitutionsprinzip. 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). 2005: Naur | The female roots of all computer science, vol 17: Barbara Liskov, this study on Massachusetts court records, the actual patent to Ms. Lamarr and George Anthell, post on a NYT article titled “The Secret History of Women in Coding”, “The More Gender Equality, the Fewer Women in STEM”, https://philip.greenspun.com/blog/2019/07/22/new-history-of-gps-when-1-device-works-better-than-100000-receiver/, a woman with a Ph.D. in public administration, https://amturing.acm.org/award_winners/liskov_1108679.cfm, https://en.wikipedia.org/wiki/Turing_Award, https://en.m.wikipedia.org/wiki/Java_(programming_language), https://en.m.wikipedia.org/wiki/Python_(programming_language), http://www.historyofinformation.com/detail.php?id=3890. The result of this research is the programming language CLU, a predecessor of many modern OOP languages. 1969: Minsky | Barbara Jane Huberman Liskov (* 7.November 1939 in Los Angeles) ist eine amerikanische Informatikerin.Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. They describe an object that acts as a proxy for a result that is initially not known, usually because the… …   Wikipedia, We are using cookies for the best presentation of our site. 1993: Hartmanis, Stearns | Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department. 1971: McCarthy | Barbara Jane Huberman was born on 7 November 1939 in Los Angeles, California. November 20, 2019. 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. Barbara Jane Liskov, American winner of the 2008 A.M. Turing Award, the highest honour in computer science, for her “pioneering work in the design of computer programming languages.” After she earned a bachelor’s degree in mathematics in 1961 from the University of California, Berkeley, Liskov https://en.m.wikipedia.org/wiki/Java_(programming_language) lists the languages that influenced the design of Java. 1976: Rabin, Scott | If you want to see these series to become a book with expanded articles and even more illustrations by Sebastián, then subscribe to our newsletter below. How could the U.S. election results ever be verified? As for Liskov, your tone notwithstanding, she is very much a pioneer of our field. Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. My vote: find a woman to replace William Shockley as developer of the semiconductor transistor and Silicon Valley. This is a time where a paper like “Go To Statement Considered Harmful” was controversial, because GOTO was pretty much the way used to structure programs back then. https://en.m.wikipedia.org/wiki/Python_(programming_language) shows CLU as one of 14 influencers for Python (but the cited article looks backward and might simply be an example of convergent design).). 1968 erhielt sie an der Stanford University als erste Frau in den USA den Titel eines Ph.D. in Informatik und 2008 als zweite Frau den Turing Award (nach Frances E. Allen. They wrote long, incoherent algorithms riddled with “goto” statements — instructions for the machine to leap to a new part of the program if a certain condition is satisfied. 2006: Allen | And I am disappointed in myself that I didn’t find a way to reference, https://philip.greenspun.com/blog/2017/10/05/facebook-uses-a-malibu-flying-engineering-manager-to-promote-careers-in-engineering/. Why wouldn’t a cisgender female aware of both Liskov and Spears conclude that computer science should be a last resort? (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. Hedy Lamarr’s frequency hopping idea relied on a primitive electromechanical piano roll type mechanism to change the frequencies and was completely impractical (if the piano rolls on the receiving and sending end got out of synch as was inevitable then you’d lose communications) and was never used by the Navy. Ihren Bachelor in Mathematik erhielt Liskov 1961 an der University of California, Berkeley. Continuing to use this site, you agree with this. — Barbara Liskov. 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. Barbara Liskov has filed for patents to protect the following inventions. 1966: Perlis | This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO). November 1939) ist eine amerikanische Informatikerin. 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. From September 24, 1931: “More than $1,000,000 was handed to Mrs. Eunice Essig Brach of Winnetka today with a divorce from her husband, Frank V. Brach, president of a candy company.” Certainly someone launching a divorce lawsuit and obtaining a profitable judgment in 2019 gets a lot less publicity than he or she would have prior to the Internet.]. 2012: Micali, Goldwasser | 1992: Lampson | Liskov's achievements underpin virtually every modern computing-related convenience in people's daily lives. — Barbara Liskov. 1996: Pnueli | The result of this research is the programming language CLU, a predecessor of many modern OOP languages. Compare to Britney Spears, a top-of-the-charts success at age 17 who has never described being a cisgender female as a career handicap in her industry. The article reveals that Barbara Liskov, despite having invented essentially all of practical programming technology, was not popularly recognized until she reached the age of 80. 1980: Hoare | 1989: Kahan | 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. 1986: Hopcroft, Tarjan | 1973: Bachman | 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. 2013: Lamport | Sie ist als Professorin für Elektrotechnik und Informatik am MIT tätig. 1990: Corbató | KitchenAid tries to burn our house down a second time, Divorce, child support, custody, family law. Diese Seite wurde zuletzt am 13. 1982: Cook | Then we can discover the female roots of the modern transistor and rely on the fact that reporters won’t read the patent claims to see that they narrowly cover an application of transistors, not the transistor itself. 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.