Points-to analysis using BDDs (2003)

by M Berndl, O Lhoták, F Qian, L Hendren, N Umanee
Venue:In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation