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

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

Details

Publication typeInproceedings
Published inPEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Pages177–187
ISBN978-1-59593-977-7
AddressNew York, NY, USA
PublisherACM
> Publications > A practical and precise inference and specializer for array bound checks elimination