David J. Gregg

• An alias analysis algorithm for object-oriented programs