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

by John Whaley , Dzintars Avots , Michael Carbin , Monica S. Lam
Venue:In Proceedings of Programming Languages and Systems: Third Asian Symposium
Citations:25 - 2 self