The Power of Abstraction (ACM A.M. Turing Award Lecture)
Reconstructs the intellectual lineage from Venus and CLU abstract data types to behavioral subtyping (the Liskov Substitution Principle) and modular distributed systems.
Institute Professor & Turing Award Laureate
Self-contained public lectures, keynote addresses, and research seminars.
Reconstructs the intellectual lineage from Venus and CLU abstract data types to behavioral subtyping (the Liskov Substitution Principle) and modular distributed systems.