Optimizing array bound checks using flow analysis (1993)

by Rajiv Gupta
Venue:ACM Letters on Programming Languages and Systems