| 
|
QuoteRef: bodiR6_2000
topics >
all references >
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
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
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)