A Fresh Look at Optimizing Array Bound Checking

@inproceedings{Gupta1990AFL,
  title={A Fresh Look at Optimizing Array Bound Checking},
  author={Rajiv Gupta},
  booktitle={PLDI},
  year={1990}
}
This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range checks, the optimizations discussed in this paper also reduce the overhead due to range checks that cannot be eliminated by compile-time analysis. The optimizations reduce the program execution time and the object code size through elimination of redundant checks, propagation of checks out of loops, and combination of multiple checks into a single check… CONTINUE READING
Highly Cited
This paper has 82 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

0510'90'93'96'99'02'05'08'11'14'17
Citations per Year

83 Citations

Semantic Scholar estimates that this publication has 83 citations based on the available data.

See our FAQ for additional information.