Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann. On fast large-scale program analysis in Datalog. In Ayal Zaks, Manuel V. Hermenegildo, editors, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. pages 196-206, ACM, 2016. [doi]
Abstract is missing.