Flow-sensitive composition of thread-modular abstract interpretation.

Markus Kusano Chao Wang

Published in: SIGSOFT FSE (2016)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine
databases
case study
database systems
software engineering
database management systems
reverse engineering
dynamic analysis