DMCA

On inter-procedural analysis of programs with lists and data (2011)

by Ahmed Bouajjani , Constantin Enea , Mihaela Sighireanu
Venue:In PLDI
Citations:11 - 2 self