Method for optimizing array bounds checks in programs

摘要: A method and several variants for optimizing the detection of out bounds array references in computer programs are described, while preserving semantics program. Depending on variant implemented, program is divided at run-time or compile-time into two more regions. The regions differentiated by number checks that need to be performed accesses within region. In particular, some will not any run-time, which increase speed executes. As well, state variables time access detected same as would have been had transformation performed. Moreover, needing known compile-time, enabling further compiler optimizations distinguished created, needed size results from optimization.