Knowra Barbara Liskov Barbara Liskov Barbara Liskov is an American computer scientist whose work shaped programming languages, data abstraction, and distributed systems. She received the 2008 Turing Award for contributions to practical and theoretical foundations of programming language and system design.
Liskov substitution principle : A design principle requiring subtypes to remain usable wherever their supertypes are expected. It distilled a central lesson from her work on reliable data abstraction.
Data abstraction : A programming technique that hides a data representation behind operations with defined behavior. Liskov made abstraction a practical foundation for designing robust software modules.
John Guttag : An American computer scientist whose research includes programming languages, software engineering, and data analysis. Guttag collaborated with Liskov on language design and coauthored work on abstraction.
Stanford University : A private research university in Stanford, California. Liskov earned her bachelor's degree in mathematics there before entering computer science.
CLU (programming language) : A programming language developed at MIT that introduced iterators, clusters, and support for data abstraction. Liskov led its design, and its ideas influenced later object-oriented languages.
Abstract data type : A data type defined by its permitted operations and behavior rather than its internal representation. CLU's clusters gave programmers a way to implement abstract data types.
Jeannette Wing : An American computer scientist known for work on formal methods, computer security, and computational thinking. Wing formulated the Liskov substitution principle from Liskov's work on type behavior.
Project MAC : An MIT research project that advanced time-sharing, interactive computing, and artificial intelligence. Liskov's early MIT research unfolded amid Project MAC's work on interactive systems.
Argus (programming language) : A programming language designed for distributed systems, with support for atomic actions and communicating modules. Liskov led its development to make distributed programs more dependable.
Object-oriented programming : A programming paradigm that organizes software around objects combining state and operations. Her work on types and substitution became central to object-oriented design.
Show all 18