Type analysis of prolog using type graphs

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

Automata on infinite objects

Wolfgang Thomas · 1988 · 432 citations

Computing, Computer Science, Mathematics +15

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

Compile-time derivation of variable dependency using abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · The Journal of Logic Programming · 1992 · 230 citations · Full text

Computing, Computer Science, Formal Methods +13