Login / Signup

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

Ahmed BouajjaniCezara DragoiConstantin EneaMihaela Sighireanu
Published in: PLDI (2011)
Keyphrases