Efficient and Effective Array Bound Checking

Publication
ACM Transactions on Programming Languages and Systems Journal, IF 3.033