Rajiv Gupta Optimizing Array Bound Checks Using Flow Analysis. 135-150 1993 2 LOPLAS 1-4 db/journals/loplas/loplas2.html#Gupta93 http://doi.acm.org/10.1145/176454.176507