Interprocedural array region analyses2005-06-090 PRE AI DOI:10.1007/bfb0014191OriginalShareSaveAbstract En