Constraint-Based Program Analysis (Abstract).

Alexander Aiken Constraint-Based Program Analysis (Abstract). 1 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#Aiken96