Combining Conditional Constant Propagation and Interprocedural Alias Analysis. - K. Gopinath; K. S. Nandakumar (HiPC, 1999)