Bounded Abstract Interpretation.

Maria Christakis Valentin Wüstholz

Published in: SAS (2016)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine
management system
dynamic analysis
fine grained
source code