Faster access than browser!
56 relations: Abstract data type, ACM SIGOPS, American Computer & Robotics Museum, Argus (programming language), Byzantine fault tolerance, Class-based programming, CLU (programming language), Computer Pioneer Award, Evaluation strategy, Federated Computing Research Conference, Futures and promises, Grace Hopper Celebration of Women in Computing, Harold Pender Award, History of computing, History of Programming Languages, IEEE John von Neumann Medal, Index of women scientists articles, International Science Youth Forum @ Singapore, Jeannette Wing, John McCarthy (computer scientist), Killer heuristic, Liskov substitution principle, List of chess books (G–L), List of computer scientists, List of Fellows of the Association for Computing Machinery, List of female scientists in the 20th century, List of Institute Professors at the Massachusetts Institute of Technology, List of inventions and discoveries by women, List of Jewish American computer scientists, List of members of the National Academy of Engineering (Computer science), List of members of the National Academy of Sciences (computer and information sciences), List of people by Erdős number, List of pioneers in computer science, List of Stanford University people, List of Turing Award laureates by university affiliation, List of University of California, Berkeley alumni, Liuba Shrira, MIT Computer Science and Artificial Intelligence Laboratory, November 7, Paxos (computer science), Sanjay Ghemawat, SIGPLAN, Stanford University, Stanford University Computer Science, State machine replication, Strong and weak typing, Subtyping, Systers, Timeline of programming languages, Turing Award, ..., Type safety, UC Berkeley College of Engineering, Università della Svizzera italiana, Weizmann Women & Science Award, Women in computing, 1939 in science. Expand index (6 more) »
Abstract data type
In computer science, an abstract data type (ADT) is a mathematical model for data types, where a data type is defined by its behavior (semantics) from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations.
New!!: Barbara Liskov and Abstract data type · See more »
ACM SIGOPS
ACM SIGOPS is the Association for Computing Machinery's Special Interest Group on Operating Systems, an international community of students, faculty, researchers, and practitioners associated with research and development related to operating systems.
New!!: Barbara Liskov and ACM SIGOPS · See more »
American Computer & Robotics Museum
The American Computer & Robotics Museum, formerly known as the American Computer Museum, is a museum of the history of computing, communications, artificial intelligence and robotics that is located in Bozeman, Montana, USA.
New!!: Barbara Liskov and American Computer & Robotics Museum · See more »
Argus (programming language)
Argus is a programming language created at MIT by Barbara Liskov between 1982 and 1988, in collaboration with Maurice Herlihy, Paul Johnson, Robert Scheifler, and William Weihl.
New!!: Barbara Liskov and Argus (programming language) · See more »
Byzantine fault tolerance
Byzantine fault tolerance (BFT) is the dependability of a fault-tolerant computer system, particularly distributed computing systems, where components may fail and there is imperfect information on whether a component is failed.
New!!: Barbara Liskov and Byzantine fault tolerance · See more »
Class-based programming
Class-based programming, or more commonly class-orientation, is a style of object-oriented programming (OOP) in which inheritance is achieved by defining classes of objects, as opposed to the objects themselves (compare prototype-based programming).
New!!: Barbara Liskov and Class-based programming · See more »
CLU (programming language)
CLU is a programming language created at the Massachusetts Institute of Technology (MIT) by Barbara Liskov and her students between 1974 and 1975.
New!!: Barbara Liskov and CLU (programming language) · See more »
Computer Pioneer Award
The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry.
New!!: Barbara Liskov and Computer Pioneer Award · See more »
Evaluation strategy
Evaluation strategies are used by programming languages to determine when to evaluate the argument(s) of a function call (for function, also read: operation, method, or relation) and what kind of value to pass to the function.
New!!: Barbara Liskov and Evaluation strategy · See more »
Federated Computing Research Conference
The Federated Computing Research Conference, FCRC, is an event that brings together several academic conferences, workshops, and plenary talks in the field of computer science.
New!!: Barbara Liskov and Federated Computing Research Conference · See more »
Futures and promises
In computer science, future, promise, delay, and deferred refer to constructs used for synchronizing program execution in some concurrent programming languages.
New!!: Barbara Liskov and Futures and promises · See more »
Grace Hopper Celebration of Women in Computing
The Grace Hopper Celebration of Women in Computing (GHC) is a series of conferences designed to bring the research and career interests of women in computing to the forefront.
New!!: Barbara Liskov and Grace Hopper Celebration of Women in Computing · See more »
Harold Pender Award
The Harold Pender Award, initiated in 1972 and named after founding Dean Harold Pender, is given by the Faculty of the School of Engineering and Applied Science of the University of Pennsylvania to an outstanding member of the engineering profession who has achieved distinction by significant contributions to society.
New!!: Barbara Liskov and Harold Pender Award · See more »
History of computing
The history of computing is longer than the history of computing hardware and modern computing technology and includes the history of methods intended for pen and paper or for chalk and slate, with or without the aid of tables.
New!!: Barbara Liskov and History of computing · See more »
History of Programming Languages
History of Programming Languages (HOPL) is an infrequent ACM SIGPLAN conference.
New!!: Barbara Liskov and History of Programming Languages · See more »
IEEE John von Neumann Medal
The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award.
New!!: Barbara Liskov and IEEE John von Neumann Medal · See more »
Index of women scientists articles
No description.
New!!: Barbara Liskov and Index of women scientists articles · See more »
International Science Youth Forum @ Singapore
The International Science Youth Forum (ISYF) is a science enrichment programme for students from all over the globe.
New!!: Barbara Liskov and International Science Youth Forum @ Singapore · See more »
Jeannette Wing
Jeannette Marie Wing is Avanessians Director of the Data Sciences Institute at Columbia University, where she is also a professor of computer science.
New!!: Barbara Liskov and Jeannette Wing · See more »
John McCarthy (computer scientist)
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.
New!!: Barbara Liskov and John McCarthy (computer scientist) · See more »
Killer heuristic
In competitive two-player games, the killer heuristic is a technique for improving the efficiency of alpha-beta pruning, which in turn improves the efficiency of the minimax algorithm.
New!!: Barbara Liskov and Killer heuristic · See more »
Liskov substitution principle
Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of the program (correctness, task performed, etc.). More formally, the Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy.
New!!: Barbara Liskov and Liskov substitution principle · See more »
List of chess books (G–L)
This is a list of chess books that are used as references in articles related to chess.
New!!: Barbara Liskov and List of chess books (G–L) · See more »
List of computer scientists
This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
New!!: Barbara Liskov and List of computer scientists · See more »
List of Fellows of the Association for Computing Machinery
This article lists ACM Fellows, an award and fellowship granted by the Association for Computing Machinery (ACM) as its highest honorary grade of membership, reserved for ACM members who have exhibited "professional excellence" in their "technical, professional and leadership contributions" Since 1993, the people that have been elected as Fellows are listed below.
New!!: Barbara Liskov and List of Fellows of the Association for Computing Machinery · See more »
List of female scientists in the 20th century
This is a historical list, intended to deal with the time period when women working in science were rare.
New!!: Barbara Liskov and List of female scientists in the 20th century · See more »
List of Institute Professors at the Massachusetts Institute of Technology
Institute Professor is the highest title that can be awarded to a faculty member at the Massachusetts Institute of Technology, a research university located in Cambridge, Massachusetts, United States.
New!!: Barbara Liskov and List of Institute Professors at the Massachusetts Institute of Technology · See more »
List of inventions and discoveries by women
This page aims to list the inventions and discoveries of which women were the protagonists.
New!!: Barbara Liskov and List of inventions and discoveries by women · See more »
List of Jewish American computer scientists
This is a list of famous Jewish American computer scientists.
New!!: Barbara Liskov and List of Jewish American computer scientists · See more »
List of members of the National Academy of Engineering (Computer science)
This list is a subsection of the List of members of the National Academy of Engineering, which includes over 2,000 current members of the United States National Academy of Engineering, each of whom is affiliated with one of 12 disciplinary sections.
New!!: Barbara Liskov and List of members of the National Academy of Engineering (Computer science) · See more »
List of members of the National Academy of Sciences (computer and information sciences)
*National Academy of Sciences (Computer and information sciences) Category:Lists of computer scientists.
New!!: Barbara Liskov and List of members of the National Academy of Sciences (computer and information sciences) · See more »
List of people by Erdős number
Paul Erdős (1913–1996) was the most prolifically published mathematician of all time.
New!!: Barbara Liskov and List of people by Erdős number · See more »
List of pioneers in computer science
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do.
New!!: Barbara Liskov and List of pioneers in computer science · See more »
List of Stanford University people
This page lists the members of Stanford University, including students, alumni, faculty and academic affiliates associated.
New!!: Barbara Liskov and List of Stanford University people · See more »
List of Turing Award laureates by university affiliation
The following list comprehensively shows Turing Award laureates by university affiliations since 1966 (as of 2018, 67 winners in total), grouped by their current and past affiliation to academic institutions.
New!!: Barbara Liskov and List of Turing Award laureates by university affiliation · See more »
List of University of California, Berkeley alumni
This page lists notable alumni and students of the University of California, Berkeley.
New!!: Barbara Liskov and List of University of California, Berkeley alumni · See more »
Liuba Shrira
Liuba Shrira is a professor of computer science at Brandeis University, whose research interests primarily involve distributed systems.
New!!: Barbara Liskov and Liuba Shrira · See more »
MIT Computer Science and Artificial Intelligence Laboratory
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) is a research institute at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and the Artificial Intelligence Laboratory.
New!!: Barbara Liskov and MIT Computer Science and Artificial Intelligence Laboratory · See more »
November 7
This day marks the approximate midpoint of autumn in the Northern Hemisphere and of spring in the Southern Hemisphere (starting the season at the September equinox).
New!!: Barbara Liskov and November 7 · See more »
Paxos (computer science)
Paxos is a family of protocols for solving consensus in a network of unreliable processors.
New!!: Barbara Liskov and Paxos (computer science) · See more »
Sanjay Ghemawat
Sanjay Ghemawat (born 1966) is an Indian American computer scientist and software engineer.
New!!: Barbara Liskov and Sanjay Ghemawat · See more »
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
New!!: Barbara Liskov and SIGPLAN · See more »
Stanford University
Stanford University (officially Leland Stanford Junior University, colloquially the Farm) is a private research university in Stanford, California.
New!!: Barbara Liskov and Stanford University · See more »
Stanford University Computer Science
The Computer Science Department at Stanford University in Stanford, California, is a leading school for computer science.
New!!: Barbara Liskov and Stanford University Computer Science · See more »
State machine replication
In computer science, state machine replication or state machine approach is a general method for implementing a fault-tolerant service by replicating servers and coordinating client interactions with server replicas.
New!!: Barbara Liskov and State machine replication · See more »
Strong and weak typing
In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed).
New!!: Barbara Liskov and Strong and weak typing · See more »
Subtyping
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype.
New!!: Barbara Liskov and Subtyping · See more »
Systers
Systers, founded by Anita Borg, is an international electronic mailing list for technical women in computing.
New!!: Barbara Liskov and Systers · See more »
Timeline of programming languages
This is a record of historically important programming languages, by decade.
New!!: Barbara Liskov and Timeline of programming languages · See more »
Turing Award
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
New!!: Barbara Liskov and Turing Award · See more »
Type safety
In computer science, type safety is the extent to which a programming language discourages or prevents type errors.
New!!: Barbara Liskov and Type safety · See more »
UC Berkeley College of Engineering
The College of Engineering (CoE) is one of 14 schools and colleges at the University of California, Berkeley.
New!!: Barbara Liskov and UC Berkeley College of Engineering · See more »
Università della Svizzera italiana
The Università della Svizzera italiana (USI, literally University of Italian Switzerland), sometimes referred to as the University of Lugano, in English-speaking contexts, is a public Swiss university established in 1995, with campuses in Lugano, Mendrisio and Bellinzona (Canton Ticino, Switzerland).
New!!: Barbara Liskov and Università della Svizzera italiana · See more »
Weizmann Women & Science Award
The Weizmann Women & Science Award is a biennial award established in 1994 to honor an outstanding woman scientist in the United States who has made significant contributions to the scientific community.
New!!: Barbara Liskov and Weizmann Women & Science Award · See more »
Women in computing
Women in computing have shaped the evolution of the industry, with women among the first programmers during the early 20th century.
New!!: Barbara Liskov and Women in computing · See more »
1939 in science
The year 1939 in science and technology involved some significant events, listed below.
New!!: Barbara Liskov and 1939 in science · See more »
Redirects here:
Barbara H. Liskov, Barbara Huberman Liskov, Barbara Jane Huberman, Barbara Jane Liskov, Liskov.
References
[1] https://en.wikipedia.org/wiki/Barbara_Liskov
