Abstract interpretation based on oldt resolution

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Abstract interpretation of declarative languages

Information and Software Technology · 1988 · 321 citations · Full text

Language Studies, Computer Science, Linguistics +14

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

Computing, Computer Science, Formal Methods +13

Static determination of dynamic properties of recursive procedures

Patrick Cousot, Radhia Cousot · 1977 · 178 citations

Computing, Computer Science, Mathematics +15

Some global optimizations for a PROLOG compiler

Chris Mellish · The Journal of Logic Programming · 1985 · 137 citations

Computing, Computer Engineering, Computer Science +14