Agostino Cortesi, Raju Halder. Abstract Interpretation of Recursive Queries. In Chittaranjan Hota, Pradip K. Srimani, editors, Distributed Computing and Internet Technology, 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings. Volume 7753 of Lecture Notes in Computer Science, pages 157-170, Springer, 2013. [doi]
Abstract is missing.