bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis (via fanf) — discussion
#compilers #pdf
