Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu. On inter-procedural analysis of programs with lists and data. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 578-589, ACM, 2011. [doi]
Abstract is missing.