Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf]people.csail.mit.edu3 pointsfanf22 years ago