Subregion Analysis and Bounds Check Elimination for High Level Arrays
Abstract elided by the publisher.
Related papers
- ABCD: eliminating array bounds checks on demand PLDI 2000
- Deriving Pre-Conditions for Array Bound Check Elimination APLAS 2000
- A Comprehensive Approach to Array Bounds Check Elimination for Java CC 2002
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions TOPLAS 2005
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- A Fresh Look at Optimizing Array Bound Checking PLDI 1990
- Elimination of Redundant Array Subscript Range Checks PLDI 1995