Removal of bounds checks in an annotation-aware JVM

This paper discusses the possibility of removing checks on bounds from array references in structured code and presents an efficient mechanism for transferring the optimization knowledge within the Java class file. Occurrences documented within the Spec benchmark systems are tallied and reported as percentages.