Abcd : Eliminating array bounds checks on demand (2000)

by R Bodik, R Gupta, V Sarkar
Venue:In PLDI 2000