Consistent and complementary formal theories of the semantics of programming languages
Data up to Jan 2025
Total Citations Per Year
Abstract
References (21)
An Axiomatic Basis for Computer Programming
1969 • 4,423 citations
An axiomatic basis for computer programming
1983 • 1,569 citations
Recursive functions of symbolic expressions and their computation by machine, Part I
1960 • 1,326 citations
The Mechanical Evaluation of Expressions
1964 • 923 citations
Revised report on the algorithmic language ALGOL 60
1963 • 909 citations
A Basis for a Mathematical Theory of Computation)
1963 • 690 citations
Outline of a Mathematical Theory of Computation
1970 • 653 citations
Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960)
2021 • 561 citations
Correspondence between ALGOL 60 and Church's Lambda-notation
1965 • 423 citations
A Basis for a Mathematical Theory of Computation
1959 • 334 citations
Proving Properties of Programs by Structural Induction
1969 • 330 citations
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
1959 • 320 citations
Procedures and Parameters: An Axiomatic Approach
1971 • 255 citations
On the formal description of PL/I
1969 • 188 citations
Proof of a program
1971 • 180 citations
Proof of a Program: FIND
1978 • 161 citations
The correctness of programs
1969 • 132 citations
Random-Access Stored-Program Machines, an Approach to Programming Languages
1964 • 99 citations
A λ-CALCULUS APPROACH
1966 • 36 citations
A formal definition of ALGOL 60
1972 • 35 citations
Axiomatics of simple assignment statements
1968 • 6 citations