An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.

Anna Ciampolini Evelina Lamma Paola Mello

Published in: Inf. Process. Lett. (1996)

Keyphrases

abstract interpretation
reasoning engine
active rules
databases
database systems
fine grained
dynamic analysis
case study
software development
static analysis
termination analysis