Bo Yang, Mingyi Zhang, Ying Zhang. Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language. In De-Shuang Huang, Yong Gan, Vitoantonio Bevilacqua, Juan Carlos Figueroa García, editors, Advanced Intelligent Computing - 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers. Volume 6838 of Lecture Notes in Computer Science, pages 676-685, Springer, 2011. [doi]
Abstract is missing.