摘要: Bound checks are introduced in programs for the run-time detection of array bound violations. Compile-time optimizations employed to reduce execution-time overhead due checks. The program execution time through elimination and propagation out loops. An optimized terminates with an violation if only same outcome would have resulted during containing all However, point at which occurs may not be same. Experimental results indicate that number performed a is greatly reduced using these techniques.