Flow-Sensitive Composition of Thread-Modular Abstract Interpretation.

Markus Kusano Chao Wang

Published in: CoRR (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
databases
information systems
database systems