The Impact of Granularity in Abstract Interpretation of Prolog.

Pascal Van Hentenryck Olivier Degimbe Baudouin Le Charlier Laurent Michel

Published in: WSA (1993)

Keyphrases

abstract interpretation
termination analysis
knowledge representation
static analysis
expert systems
programming language
model checking
database
databases
case study
logic programming
query language
distributed databases
modeling language
active databases
dynamic analysis