Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.

Rémy Boutonnet Nicolas Halbwachs

Published in: VMCAI (2019)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
relational databases
relational data
dynamic analysis
reasoning engine
data model
active databases
database systems
source code
relational model
case study