Algebraic processing of programming languages

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

Formal Languages and their Relation to Automata

James B. Morris · Nuclear Science and Engineering · 1970 · 1K citations

Computing, Computer Engineering, Computer Science +12

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

Computing, Computer Science, Number Theory +8

A meta-environment for generating programming environments

Paul Klint · ACM Transactions on Software Engineering and Methodology · 1993 · 288 citations

Computing, Computer Science, Formal Methods +12