Barbara Liskov
(4 articles)1967
Polymorphism
Ability of objects to take on many forms, allowing methods to perform differently based on the object that invokes them.
Generality: 615
1970
Type System
A framework within which types are assigned to various constructs in computer programs, enhancing code reliability and safety.
Generality: 675
1977
Abstract Data Type
A conceptual model for data structures that defines data types by their behavior rather than their implementation.
Generality: 700
1983
Reflective Programming
Programming paradigm that allows a program to inspect and modify its own structure and behavior at runtime.
Generality: 702