@conference {14290, title = {Checking and inferring local non-aliasing}, booktitle = {ACM SIGPLAN Notices}, volume = {38}, year = {2003}, month = {2003///}, pages = {129 - 140}, author = {Aiken,A. and Foster, Jeffrey S. and Kodumal,J. and Terauchi,T.} }