Quentin Stievenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. Detecting concurrency bugs in higher-order programs through abstract interpretation. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 232-243, ACM, 2015. [doi]
Abstract is missing.