Checking and inferring local non-aliasing (2003)

by A Aiken, J S Foster, J Kodumal, T Terauchi
Venue:In PLDI