Rajiv Gupta. Optimizing Array Bound Checks Using Flow Analysis. LOPLAS, 2(1-4):135-150, 1993. [doi]
@article{Gupta93:2, title = {Optimizing Array Bound Checks Using Flow Analysis}, author = {Rajiv Gupta}, year = {1993}, doi = {10.1145/176454.176507}, url = {http://doi.acm.org/10.1145/176454.176507}, tags = {optimization, analysis, data-flow, data-flow analysis}, researchr = {https://researchr.org/publication/Gupta93%3A2}, cites = {0}, citedby = {0}, journal = {LOPLAS}, volume = {2}, number = {1-4}, pages = {135-150}, }