Unification-based pointer analysis with directional assignments (2000)

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