Unification-based pointer analysis with directional assignments (2000)

by M Das
Venue:In: SIGPLAN Conference on Programming Language Design and Implementation