| 
|
Quote: ABCD uses simple difference constraints and an inequality graph; e.g., "i-A.length<0"
topics >
all references >
references a-b >
Topic:
code optimization by global analysis
Quotation Skeleton
ABCD is efficient because it operates on simple … [refs] … or a symbolic literal (e.g., the length of … [p. 323] Given an inequality graph, an (upper) bounds … [x] … to the bounds check condition, x-A.length<0, being always … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: code optimization by global analysis (23 items)