Mooly Sagiv, and Thomas Reps. Shape analysis (2000)

by Reinhard Wilhelm
Venue:In Proceedings of the 9th International Conference on Compiler Construction