Detecting concurrency bugs in higher-order programs through abstract interpretation