Effective flow analysis for avoiding run-time checks (1995)

by S Jagannathan, A Wright
Venue:In Proceedings of the Second International Static Analysis Symposium (SAS