[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - A practical and precise inference and specializer for array bound checks elimination
Popeea, Corneliu, Xu, Dana N., Chin, Wei-NganYear:
2008
Language:
english
DOI:
10.1145/1328408.1328434
File:
PDF, 285 KB
english, 2008