Efficient Intraprocedural Array Bound Checking

Publication
Second International Workshop on Automated Program Analysis, Testing and Verification