The interprocedural analysis and automatic parallelization of Scheme programs

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Parallel Prefix Computation

Richard E. Ladner, Michael J. Fischer · Journal of the ACM · 1980 · 1.3K citations · Full text

Computing, Computer Science, Algorithms +10

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

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

MULTILISP: a language for concurrent symbolic computation

Robert H. Halstead · ACM Transactions on Programming Languages and Systems · 1985 · 1.1K citations · Full text

Computing, Computer Science, Compilers +16