Priyadarshan Kolte Michael Wolfe Elimination of Redundant Array Subscript Range Checks. 270-278 1995 PLDI db/conf/pldi/pldi95.html#KolteW95