Compile time elimination of null- and bounds-checks (2001)

by Jeffery von Ronne, Michael Franz, Niall Dalton, Wolfram Amme
Venue:In 9th Workshop on Compilers for Parallel Computers