Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann. A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. In 24th Australasian Software Engineering Conference, ASWEC 2015, Adelaide, SA, Australia, September 28 - October 1, 2015. pages 28-37, IEEE Computer Society, 2015. [doi]
Abstract is missing.