Incrementalizing Abstract Interpretation.

Noah Van Es Maarten Vandercammen Coen De Roover

Published in: BENEVOL (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
reasoning engine
source code
object oriented databases