Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. Deriving Pre-conditions for Array Bound Check Elimination. In Olivier Danvy, Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Volume 2053 of Lecture Notes in Computer Science, pages 2-24, Springer, 2001. [doi]
Abstract is missing.