María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva. Datalog-Based Program Analysis with BES and RWL. 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 1-20, Springer, 2010. [doi]
No reviews for this publication, yet.