Optimal groundness analysis using propositional logic

Imperative functional programming

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

Computing, Computer Engineering, Computer Science +15

Abstract interpretation and application to logic programs

Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 1992 · 585 citations

Computing, Computer Science, Formal Methods +11

Abstract interpretation of declarative languages

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

Language Studies, Computer Science, Linguistics +14

A course on mathematical logic

Choice Reviews Online · 2008 · 259 citations

Humanities, Mathematics, Algebra +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