Jeffrey S. Foster Manuel Fähndrich Alexander Aiken Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. 175-198 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#FosterFA00