Points-to analysis using BDDs (2003)

by Marc Berndl , Feng Qian , Laurie Hendren , Navindra Umanee
Venue:In Programming Language Design and Implementation (PLDI
Citations:77 - 2 self