Abstract interpretation
Data up to Jan 2025
Total Citations Per Year
Abstract
References (22)
Introduction to Metamathematics
1952 • 4,450 citations
An Axiomatic Basis for Computer Programming
1969 • 4,423 citations
A lattice-theoretical fixpoint theorem and its applications
1955 • 2,678 citations
Partially Ordered Sets
1941 • 935 citations
A unified approach to global program optimization
1973 • 872 citations
Affine relationships among variables of a program
1976 • 427 citations
The lattice of flow diagrams
1971 • 179 citations
Consistent and complementary formal theories of the semantics of programming languages
1974 • 150 citations
Logical analysis of programs
1976 • 140 citations
Property extraction in well-founded property sets
1975 • 95 citations
Automatic data structure choice in a language of very high level
1975 • 56 citations
Actor induction and meta-evaluation
1973 • 47 citations
Calculating properties of programs by valuations on specific models
1972 • 38 citations
Verifying Program Performance
1976 • 37 citations
Finite state modelling in program development
1975 • 32 citations
Proving that computer programs terminate cleanly.
1974 • 31 citations
Checking of operand types in algol compilers
1965 • 31 citations
Solving path problems on directed graphs.
1975 • 25 citations
Iterative algorithms for global flow analysis
1976 • 16 citations
Eliminating Blind Alleys from Backtrack Programs.
1976 • 13 citations
A New Approach to Recursive Programs
1977 • 5 citations
Static determination of dynamic properties of generalized type unions: Mathematical foundations
1977 • 1 citations