Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
A practical and precise inference and specializer for array bound checks elimination
PEPM, 2008.
@inproceedings{PEPM-2008-PopeeaXC,
author = "Corneliu Popeea and Dana N. Xu and Wei-Ngan Chin",
booktitle = "{Proceedings of the 13th Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/1328408.1328434",
isbn = "978-1-59593-977-7",
pages = "177--187",
publisher = "{ACM}",
title = "{A practical and precise inference and specializer for array bound checks elimination}",
year = 2008,
}