@inproceedings{619efb485d3346058243bb69670896f3,
title = "Eliminating unnecessary array bounds checks in nests of loops",
abstract = "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.",
keywords = "Compiler Optimization, Flow Analysis, Program Analysis, Range Analysis",
author = "K. Psarris and D. Klappholz",
note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 5th International Conference on Computing and Information, ICCI 1993 ; Conference date: 27-05-1993 Through 29-05-1993",
year = "1993",
doi = "10.1109/ICCI.1993.315312",
language = "English",
series = "Proceedings - ICCI 1993: 5th International Conference on Computing and Information",
pages = "550--554",
editor = "Koczkodaj, {Waldemar W.} and Osman Abou-Rabia and Chang, {Carl K.}",
booktitle = "Proceedings - ICCI 1993",
}