Elimination of redundant array subscript range checks (1995)

by P Kolte, M Wolfe
Venue:In ACM SIGLAN Notices - International Conference on Programming Language Design and Implementation