Concepts and realization of a high-performance data type architecture

Can programming be liberated from the von Neumann style?

John Backus · Communications of the ACM · 1978 · 2.6K citations · Full text

Computing, Computer Science, Compilers +6

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

Computing, Computer Science, Data Structures +10

Predicate Logic as Programming Language.

Robert Kowalski · IFIP Congress · 1974 · 600 citations

Computing, Computer Science, Formal Methods +8

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · ACM SIGPLAN Notices · 1974 · 395 citations · Full text

Computing, Computer Science, Data Structures +10

Proceedings of the international conference on fifth-generation computer systems

Computers and Standards · 1982 · 194 citations

Computing, Computer Science, Computer Systems +13