Detecting concurrency bugs in higher-order programs through abstract interpretation.

Quentin Stiévenart Jens Nicolay Wolfgang De Meuter Coen De Roover

Published in: PPDP (2015)

Keyphrases

abstract interpretation
higher order
static analysis
termination analysis
source code
dynamic analysis
model checking
pairwise
active databases
active rules
database systems
software systems
regular expressions
test suite
case study