In Proceedings

A Datalog Source-to-Source Translator for Static Program Analysis - An Experience Report.
January 2015

 

Authors: Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann

Venue: ACM SIGSOFT Software Engineering Notes


Hardware and Software, Engineered to Work Together