Observational Completeness on Abstract Interpretation.

Gianluca Amato Francesca Scozzari

Published in: Fundam. Informaticae (2011)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
integrity constraints
data quality