A simple polynomial groundness analysis for logic programs

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

Automatic mode inference for logic programs

Saumya Debray, David S. Warren · The Journal of Logic Programming · 1988 · 136 citations

Computing, Computer Engineering, Computer Science +13

Practical program analysis using general purpose logic programming systems—a case study

Steven Dawson, C. R. Ramakrishnan, David S. Warren · 1996 · 103 citations

Computing, Computer Science, Programming Languages +8

Precise and efficient groundness analysis for logic programs

Kim Marriott, Harald Søndergaard · ACM Letters on Programming Languages and Systems · 1993 · 99 citations

Computing, Computer Science, Formal Methods +9

Two classes of Boolean functions for dependency analysis

Tania Armstrong, Kim Marriott, Peter Schachte et al. · Science of Computer Programming · 1998 · 95 citations

Natural Sciences, Computer Science, Mathematics +11