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

by Wei-Ngan Chin, Siau-Cheng Khoo, Dana N Xu
Venue:In Proceedings of the Second Symposium on Programs as Data Objects, PADO 2001