Lynn Choi Pen-Chung Yew Interprocedural Array Data Flow Analysis for Cache Coherence. 81-95 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#ChoiY95