An Empirical Study of Precise Interprocedural Array AnalysisMichael HindMichael Burkebet al.1994Scientific Programming