-
Barbara Liskov (born
November 7, 1939, as
Barbara Jane Huberman) is an
American computer scientist who has made
pioneering contributions to programming...
- The
Liskov substitution principle (LSP) is a
particular definition of a
subtyping relation,
called strong behavioral subtyping, that was
initially introduced...
-
encryption (LRW) is an
instantiation of the mode of
operations introduced by
Liskov, Rivest, and
Wagner (see
Theorem 2). This mode uses two keys: K {\displaystyle...
- (also
spelled Liskov or Liskof;
first name
sometimes given as Albert; Russian: Альфред Германович Лисков, romanized: Alfred
Germanovich Liskov; 1910 – unknown)...
- PayloadList<String, String> PayloadList<String, Integer> PayloadList<String, Exception>
Liskov substitution principle explains a property, "If for each
object o1 of type...
-
three women have been
awarded the prize:
Frances Allen (in 2006),
Barbara Liskov (in 2008), and
Shafi Goldw****er (in 2012).
Fields Medal IEEE John von Neumann...
- changes. Flexibility:
Adapts to
changing requirements more easily. The
Liskov substitution principle (LSP)
states that "functions that use
pointers or...
-
pipelining technique (using ****ures to
overcome latency) was
invented by
Barbara Liskov and
Liuba Shrira in 1988, and
independently by Mark S. Miller, Dean Tribble...
- 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 "whenever...
-
Argus is a
programming language created at MIT by
Barbara Liskov between 1982 and 1988, in
collaboration with
Maurice Herlihy, Paul Johnson,
Robert Scheifler...
