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

10.1145/1328408.1328434

Saved in:

Bibliographic Details
Main Authors:	Popeea, C., Xu, D.N., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Dependent types Safety verification Size properties
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42038
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-42038
record_format	dspace
spelling	sg-nus-scholar.10635-420382023-10-29T20:15:52Z A practical and precise inference and specializer for array bound checks elimination Popeea, C. Xu, D.N. Chin, W.-N. COMPUTER SCIENCE Dependent types Safety verification Size properties 10.1145/1328408.1328434 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 177-187 2013-07-04T08:41:51Z 2013-07-04T08:41:51Z 2008 Conference Paper Popeea, C., Xu, D.N., Chin, W.-N. (2008). A practical and precise inference and specializer for array bound checks elimination. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 177-187. ScholarBank@NUS Repository. https://doi.org/10.1145/1328408.1328434 9781595939777 http://scholarbank.nus.edu.sg/handle/10635/42038 000267583600019 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Dependent types Safety verification Size properties
spellingShingle	Dependent types Safety verification Size properties Popeea, C. Xu, D.N. Chin, W.-N. A practical and precise inference and specializer for array bound checks elimination
description	10.1145/1328408.1328434
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Popeea, C. Xu, D.N. Chin, W.-N.
format	Conference or Workshop Item
author	Popeea, C. Xu, D.N. Chin, W.-N.
author_sort	Popeea, C.
title	A practical and precise inference and specializer for array bound checks elimination
title_short	A practical and precise inference and specializer for array bound checks elimination
title_full	A practical and precise inference and specializer for array bound checks elimination
title_fullStr	A practical and precise inference and specializer for array bound checks elimination
title_full_unstemmed	A practical and precise inference and specializer for array bound checks elimination
title_sort	practical and precise inference and specializer for array bound checks elimination
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/42038
_version_	1781411136330006528

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

Similar Items