A practical and precise inference and specializer for array bound checks elimination
Corneliu Popeea, Dana N. Xu, and Wei-Ngan Chin
2008
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Publisher ACM
Details
| Type | Inproceedings |
| Pages | 177–187 |
| ISBN | 978-1-59593-977-7 |
| Address | New York, NY, USA |