Checking and inferring local non-aliasing (2003)

by A Aiken, J S Foster, J Kodumal, T Terauchi
Venue:In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI’03