Checking and inferring local non-aliasing.

Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

Browse the full PLDI paper archive.