Observational Completeness on Abstract Interpretation.

Gianluca Amato Francesca Scozzari

Published in: WoLLIC (2009)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
information systems
data quality
database management systems