Liskov: data abstraction and hierarchy

What changed

Distinguished hierarchy roles and articulated that subtype behavior must support use wherever its supertype is expected.

Scientific scope

The record is Liskov's sole-author OOPSLA 1987 keynote paper. The conference work is dated 1987 while the SIGPLAN Notices volume 23 issue 5 appeared in May 1988; later Liskov-Wing formalization and modern SOLID formulations remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Liskov's sole-author OOPSLA 1987 keynote paper. The conference work is dated 1987 while the SIGPLAN Notices volume 23 issue 5 appeared in May 1988; later Liskov-Wing formalization and modern SOLID formulations remain separate.

Contributors

• Barbara Liskov · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• ACM page for data abstraction and hierarchy
• Tufts-hosted copy of Liskov keynote

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction