SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation. - Alexandre Lenart; Christopher Sadler; Sandeep K. S. Gupta (SAC (2), 2000)