A practical and precise inference and specializer for array bound checks elimination.

Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin

Browse the full PEPM paper archive.