Compiling parallel programs by optimizing performance

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

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

Computing, Computer Science, Compilers +10

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

Advanced compiler optimizations for supercomputers

David Padua, Michael Wolfe · Communications of the ACM · 1986 · 691 citations · Full text

Computing, Computer Science, High-performance Computing +17

Reflection and semantics in LISP

Brian Cantwell Smith · 1984 · 446 citations

Language Studies, Computer Science, Programming Languages +7