Affiliation:
1. University of Texas at Austin, Austin, TX, USA
Abstract
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called "On understanding types, data abstraction, and polymorphism". Their work kicked off a flood of research on semantics and type theory for object-oriented programming, which continues to this day. Despite 25 years of research, there is still widespread confusion about the two forms of data abstraction,
abstract data types
and
objects
. This essay attempts to explain the differences and also why the differences matter.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference59 articles.
1. Object-oriented programming in scheme
2. D. Box. Essential COM (DevelopMentor Series). Addison-Wesley Professional 1998. D. Box. Essential COM (DevelopMentor Series). Addison-Wesley Professional 1998.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A High-Level Separation Logic for Heap Space under Garbage Collection;Proceedings of the ACM on Programming Languages;2023-01-09
2. Demystifying dependence;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17
3. Decomposition diversity with symmetric data and codata;Proceedings of the ACM on Programming Languages;2020-01
4. Infrastructures of abstraction: how computer science education produces anti-political subjects;Digital Creativity;2019-10-02
5. A scala based framework for developing acceleration systems with FPGAs;Journal of Systems Architecture;2019-09