bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf]people.csail.mit.edu4 pointsfanf22 years ago