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