Abstract Interpretation of the Physical Inputs of Embedded Programs.

Olivier Bouissou Matthieu Martel

Published in: VMCAI (2008)

Keyphrases

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