Yunheung Paek Jay Hoeflinger David A. Padua Efficient and precise array access analysis. 65-109 2002 24 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/509705.509708 db/journals/toplas/toplas24.html#PaekHP02