Conditional must not aliasing for static race detection (2007)

Cached

Download Links

by Mayur Naik , Alex Aiken
Venue:In POPL
Citations:73 - 4 self