Interprocedural Analysis Based on Guarded Array Regions. - Li, Zhiyuan; Gu, Junjie; Lee, Gyungho (2001)