Deriving pre-conditions for array bound check elimination

DOI10.1007/3-540-44978-7_2MaRDI QIDQ4529770zbMATH OpenFDO

Authors Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Publication date 6 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2053/20530002, http://scholarbank.nus.edu.sg/handle/10635/78089

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Array bounds check elimination in the context of deoptimization
• Checking array bounds by abstract interpretation and symbolic expressions
• Verifying Array Programs by Transforming Verification Conditions
• Putting the squeeze on array programs: loop verification via inductive rank reduction
• scientific article; zbMATH DE number 2087577

Cited in

(5)

• Array bounds check elimination in the context of deoptimization
• Checking array bounds by abstract interpretation and symbolic expressions
• scientific article; zbMATH DE number 2011470 (Why is no real title available?)
• scientific article; zbMATH DE number 2087577 (Why is no real title available?)
• Using static analysis to reduce dynamic analysis overhead

This page was built for publication: Deriving pre-conditions for array bound check elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529770)