On Fast Large-Scale Program Analysis in Datalog

Subotic, P; Scholz, B; Jordan, H; Westmann, T; (2016) On Fast Large-Scale Program Analysis in Datalog. In: Proceedings of the 25th International Conference on Compiler Construction. (pp. pp. 196-206). ACM: New York, NY, USA. Green open access

http://ift.tt/2A5bHNn