Elimination of redundant array subscript range checks

Priyadarshan Kolte, Michael Wolfe
1995 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation - PLDI '95  
doi:10.1145/207110.207160 dblp:conf/pldi/KolteW95 fatcat:yp2sbvowvbgdnc6yfej7yleqmu