On the usefulness of type and liveness accuracy for garbage collection and leak detection (2004)

by M Hirzel, A Diwan, J Henkel
Venue:ACM Transactions on Programming Languages and Systems