On inter-procedural analysis of programs with lists and data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Browse the full PLDI paper archive.