Deriving Pre-Conditions for Array Bound Check Elimination.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Browse the full APLAS paper archive.