Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.

Agostino Cortesi Gilberto Filé

Published in: PEPM (1991)

Keyphrases

logic programs
abstract interpretation
logic programming
static analysis
answer sets
computational properties
normal logic programs
fixpoint
stable models
programming language
prolog programs
answer set programming
reasoning engine
databases
inductive logic programming
normal form
model checking
database systems