Unification-based pointer analysis with directional assignments. (2000)

by M Das
Venue:In Proc. ACM Conf. Programming Language Design and Implementation,