Detecting concurrency bugs in higher-order programs through abstract interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Quentin Stievenart' in GoogleThis author has not been identified. Look up 'Jens Nicolay' in GoogleThis author has not been identified. Look up 'Wolfgang De Meuter' in GoogleThis author has not been identified. Look up 'Coen De Roover' in Google

runs on WebDSL