A Comprehensive Approach to Array Bounds Check Elimination for Java
Abstract elided by the publisher.
Related papers
- ABCD: eliminating array bounds checks on demand PLDI 2000
- Subregion Analysis and Bounds Check Elimination for High Level Arrays CC 2011
- Deriving Pre-Conditions for Array Bound Check Elimination APLAS 2000
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- Fast, Effective Code Generation in a Just-In-Time Java Compiler PLDI 1998
- A Fresh Look at Optimizing Array Bound Checking PLDI 1990
- Efficient and effective array bound checking TOPLAS 2005
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000