Deriving pre-conditions for array bound check elimination (2001)

by W N Chin, S C Khoo, Dana N Xu
Venue:In 2nd Symp. on Programs as Data Objects