Generalized Strong Preservation by Abstract Interpretation.

Francesco Ranzato Francesco Tapparo

Published in: J. Log. Comput. (2007)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
open source
active databases
databases
metadata
high level
moving objects
database management systems
dynamic analysis