An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs.

Renganathan Sundararajan John S. Conery

Published in: FSTTCS (1992)

Keyphrases

logic programs
logic programming
abstract interpretation
answer set programming
fixpoint
inductive logic programming
answer sets
stable models
partial deduction
static analysis
normal logic programs
databases
dynamic analysis
term rewriting systems