Datalog-Based Program Analysis with BES and RWL

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]

Authors

María Alpuente

This author has not been identified. It may be one of the following persons: Look up 'María Alpuente' in Google

Marco Antonio Feliú

This author has not been identified. Look up 'Marco Antonio Feliú' in Google

Christophe Joubert

This author has not been identified. Look up 'Christophe Joubert' in Google

Alicia Villanueva

This author has not been identified. Look up 'Alicia Villanueva' in Google