An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.

Enric Rodríguez-Carbonell Deepak Kapur

Published in: SAS (2004)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
active databases
implicit polynomial
dynamic analysis
information systems
case study
relational databases
pattern matching
object oriented databases