Yannis Smaragdakis, Martin Bravenboer. Using Datalog for Fast and Easy Program Analysis. In Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers, editors, Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Volume 6702 of Lecture Notes in Computer Science, pages 245-251, Springer, 2010. [doi]
Abstract is missing.