Consistent and complementary formal theories of the semantics of programming languages

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy · Communications of the ACM · 1960 · 1.4K citations · Full text

Computing, Computer Science, Algorithms +7

The Mechanical Evaluation of Expressions

P. J. Landin · The Computer Journal · 1964 · 932 citations · Full text

Computing, Computer Science, Formal Methods +10

Revised report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Communications of the ACM · 1963 · 909 citations · Full text

Computing, Computer Science, Mathematics +3

Correspondence between ALGOL 60 and Church's Lambda-notation

P. J. Landin · Communications of the ACM · 1965 · 425 citations · Full text

Humanities, Classics, Biblical Studies +5