A semantic basis for the termination analysis of logic programs

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Computing, Computer Science, Formal Methods +11

Termination of logic programs: the never-ending story

Danny De Schreye, Stefaan Decorte · The Journal of Logic Programming · 1994 · 208 citations · Full text

Computing, Computer Science, Formal Methods +13

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 199 citations

Computing, Computer Science, Formal Methods +15