R. Gupta, "Optimizing Array Bound Checks using Flow Analysis," ACM Letters on Programming Languages and Systems, Vol. 2, Nos. 1-4, pages 135-150, March - December 1994.
author author title title title title title title title journal journal journal journal journal journal journal volume volume volume volume pages pages date date date date