Generalized Strong Preservation by Abstract Interpretation

Francesco Ranzato Francesco Tapparo

Published in: CoRR (2004)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
model checking
active databases
knowledge representation