Optimizing array bound checks using flow analysis (1994)

by R Gupta
Venue:In ACM Letters of Programming Languages and Systems