Zhiyuan Li, Junjie Gu, Gyungho Lee. Interprocedural Analysis Based on Guarded Array Regions. In Santosh Pande, Dharma P. Agrawal, editors, Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems. Volume 1808 of Lecture Notes in Computer Science, pages 221-246, Springer, 2001. [doi]
Abstract is missing.