Using Datalog and binary decision diagrams for program analysis (2005)

by J Whaley, D Avots, M Carbin, M S Lam
Venue:In APLAS