Deriving Pre-Conditions for Array Bound Check Elimination
No abstract available.
Related papers
- Automatic Verification of Integer Array Programs CAV 2009
- Subregion Analysis and Bounds Check Elimination for High Level Arrays CC 2011
- A Comprehensive Approach to Array Bounds Check Elimination for Java CC 2002
- ABCD: eliminating array bounds checks on demand PLDI 2000
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- A Fresh Look at Optimizing Array Bound Checking PLDI 1990
- Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization PPoPP 1999
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000