"Points-to analysis using BDDs."

Marc Berndl et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics