Compile-time detection of race conditions in a parallel program

Abstract
No abstract available