Manuvir Das Unification-based pointer analysis with directional assignments. 35-46 2000 PLDI http://doi.acm.org/10.1145/349299.349309 db/conf/pldi/pldi2000.html#Das00