SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation.

Alexandre Lenart, Christopher Sadler, Sandeep K. S. Gupta

Browse the full SAC paper archive.