Deriving pre-conditions for array bound check elimination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:
Bibliographic Details
Main Authors: Chin, W.-N., Khoo, S.-C., Xu, D.N.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78089
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-78089
record_format dspace
spelling sg-nus-scholar.10635-780892015-01-06T06:50:56Z Deriving pre-conditions for array bound check elimination Chin, W.-N. Khoo, S.-C. Xu, D.N. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2053 LNCS 2-24 2014-07-04T03:12:18Z 2014-07-04T03:12:18Z 2001 Conference Paper Chin, W.-N.,Khoo, S.-C.,Xu, D.N. (2001). Deriving pre-conditions for array bound check elimination. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2053 LNCS : 2-24. ScholarBank@NUS Repository. 3540420681 03029743 http://scholarbank.nus.edu.sg/handle/10635/78089 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Chin, W.-N.
Khoo, S.-C.
Xu, D.N.
format Conference or Workshop Item
author Chin, W.-N.
Khoo, S.-C.
Xu, D.N.
spellingShingle Chin, W.-N.
Khoo, S.-C.
Xu, D.N.
Deriving pre-conditions for array bound check elimination
author_sort Chin, W.-N.
title Deriving pre-conditions for array bound check elimination
title_short Deriving pre-conditions for array bound check elimination
title_full Deriving pre-conditions for array bound check elimination
title_fullStr Deriving pre-conditions for array bound check elimination
title_full_unstemmed Deriving pre-conditions for array bound check elimination
title_sort deriving pre-conditions for array bound check elimination
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/78089
_version_ 1681088578722988032