Automatic detection of nondeterminacy in parallel programs

Perry A. Emrath, David A. Padua
1989 SIGPLAN notices  
doi:10.1145/69215.69224 fatcat:natcejljurav3bcouh4t3wq34q