From polymorphic subtyping to CFL reachability: Context-sensitive flow analysis using instantiation constraints (2000)

by M Fähndrich, J Rehof, M Das