Liskov and Zilles: programming with abstract data types

What changed

Presented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.

Scientific scope

The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.

Contributors

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

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