Login / Signup
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