Sequence-Based Abstract Interpretation of Prolog

Baudouin Le Charlier Sabina Rossi Pascal Van Hentenryck

Published in: CoRR (2000)

Keyphrases

abstract interpretation
termination analysis
static analysis
databases
knowledge base
knowledge representation
logic programming
dynamic analysis
reasoning engine
model checking