Reference. On Fast Large-Scale Program Analysis in Datalog [scholz-2016-fast]

2016 · Bernhard Scholz, Herbert Jordan, Pavle Suboti\'{c}, Till Westmann · 10.1145/2892208.2892226 
@inproceedings{scholz-2016-fast,
	title = {On Fast Large-Scale Program Analysis in Datalog},
	author = {Scholz, Bernhard and Jordan, Herbert and Suboti{\'c}, Pavle and Westmann, Till},
	year = {2016},
	booktitle = {Proceedings of the 25th International Conference on Compiler Construction},
	pages = {196--206},
	doi = {10.1145/2892208.2892226},
	url = {https://doi.org/10.1145/2892208.2892226}
}