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

by Suresh Jagannathan, Andrew Wright
Venue:Lecture Notes in Computer Science