Deriving descriptions of possible values of program variables by means of abstract interpretation

A polymorphic type system for prolog

Alan Mycroft, Richard O’Keefe · Artificial Intelligence · 1984 · 262 citations

Computing, Computer Science, Formal Methods +11

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

Towards a Theory of Types in Prolog.

Prateek Mishra · SLP · 1984 · 117 citations

Computing, Computer Science, Formal Methods +9

Accurate and Efficient Approximation of Variable Aliasing in Logic Programs.

Dean Jacobs, Anno Langen · 1989 · 114 citations

Computing, Computer Engineering, Computer Science +8

On the practicality of global flow analysis of logic programs

Richard Warren, Manuel V. Hermenegildo, Saumya Debray · UPM Digital Archive (Technical University of Madrid) · 1988 · 109 citations · Full text

Computing, Computer Engineering, Computer Science +13