Abstract Interpretation-Based Protection.

Roberto Giacobazzi

Published in: VMCAI (2010)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
database management systems
deductive databases
management system
fine grained