Algorithms for Data-Race Detection in Multithreaded Programs
The C programming language