TY - CONF T1 - Checking and inferring local non-aliasing T2 - ACM SIGPLAN Notices Y1 - 2003 A1 - Aiken,A. A1 - Foster, Jeffrey S. A1 - Kodumal,J. A1 - Terauchi,T. JA - ACM SIGPLAN Notices VL - 38 ER -