Using Datalog with Binary Decision Diagrams for Program Analysis.

John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam

Browse the full APLAS paper archive.