Efficient and Effective Array Bound Checking

Publication
ACM Transactions on Programming Languages and Systems Journal