Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/78089
DC FieldValue
dc.titleDeriving pre-conditions for array bound check elimination
dc.contributor.authorChin, W.-N.
dc.contributor.authorKhoo, S.-C.
dc.contributor.authorXu, D.N.
dc.date.accessioned2014-07-04T03:12:18Z
dc.date.available2014-07-04T03:12:18Z
dc.date.issued2001
dc.identifier.citationChin, 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.
dc.identifier.isbn3540420681
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/78089
dc.description.abstractWe present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant checks. Our approach combines a forward analysis to infer precise contextual constraint at designated program points, and a backward method for deriving a safety pre-condition for each bound check. Both analyses are formulated with the help of a practical constraint solver based on Presburger formulae; resulting in an accurate and fully automatable optimization. The derived pre-conditions are also used to guide bound check specialization, for the purpose of eliminating partially redundant checks. © Springer-Verlag Berlin Heidelberg 2001.
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume2053 LNCS
dc.description.page2-24
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

82
checked on Feb 2, 2023

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.