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

In  PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Publisher  ACM

Details

TypeInproceedings
Pages177–187
ISBN978-1-59593-977-7
AddressNew York, NY, USA
> Publications > A practical and precise inference and specializer for array bound checks elimination