Efficient Intraprocedural Array Bound Checking

Publication
International Workshop on Automated Program Analysis, Testing and Verification