A reexamination of “Optimization of array subscript range checks”

Abstract
Jonathan Asuru proposed recently an enhanced method for optimizing array subscript range checks. The proposed method is however unsafe and may generate optimized programs whose behavior is different from the original program. Two main flaws in Asuru's method are described, together with suggested remedies and improvements.

This publication has 2 references indexed in Scilit: