Abstract Interpretation with Specialized Definitions.

Germán Puebla Elvira Albert Manuel V. Hermenegildo

Published in: SAS (2006)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
general purpose
dynamic analysis
reasoning engine
source code
database
information systems
integrity constraints