@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.}
}
