Eliminating unnecessary array bounds checks in nests of loops

Out-of-bounds array references are a source of bugs in sequential and parallel code. A potential solution to the problem is the introduction of run time bounds checks on all array references. However, run time checking of every array reference can result in a good deal of overhead and therefore eliminating unnecessary array bounds checks is extremely important. In this paper we provide methods for statically eliminating bounds checks or reducing the number of required run time checks for array references with linear subscript expression occurring in nests of loops