Béatrice Creusillet François Irigoin Interprocedural Array Region Analyses. 46-60 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#CreusilletI95