Incremental whole-program analysis in Datalog with lattices.

Tams Szab, Sebastian Erdweg, Gbor Bergmann

Browse the full PLDI paper archive.