Sciweavers

Share
PPDP
2015
Springer

Detecting concurrency bugs in higher-order programs through abstract interpretation

4 years 10 months ago
Detecting concurrency bugs in higher-order programs through abstract interpretation
Quentin Stievenart, Jens Nicolay, Wolfgang De Meut
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PPDP
Authors Quentin Stievenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Comments (0)
books