Suresh Jagannathan Stephen Weeks Andrew K. Wright Type-Directed Flow Analysis for Typed Intermediate Languages. 232-249 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#JagannathanWW97