Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow AnalysisMichael BurkeJong-Deok Choi1992ACM Letters on Programming Languages and Systems (LOPLAS)