Map
Index
Random
Help
th

QuoteRef: bodiR6_2000

topics > all references > ThesaHelp: references a-b



ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
range checking
Topic:
code optimization
Topic:
static single assignment; SSA
Topic:
code optimization by global analysis
Topic:
dependency analysis
Topic:
aliasing

Reference

Bodik, R., Gupta, R., Sarkar, V., "ABCD: Eliminating array bounds checks on demand", Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, BC, Canada, June 2000, ACM SIGPLAN, pp. 321-333. Google

Quotations
abstract ;;Quote: ABCD-eliminate array bounds checks on demand; sparse SSA analysis; removes 45% of bounds checks
322 ;;Quote: ABCD uses simple difference constraints and an inequality graph; e.g., "i-A.length<0"
331 ;;Quote: Java local variables can not pointer aliased (no address)
331+;;Quote: arrays referenced by local Java variables cannot change size

Related Topics up

ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: range checking (20 items)
Topic: code optimization (54 items)
Topic: static single assignment; SSA (19 items)
Topic: code optimization by global analysis (23 items)
Topic: dependency analysis (31 items)
Topic: aliasing (28 items)

Collected barberCB 9/00
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.