| 
|
Quote: use related field analysis to remove 50% of array bounds checks; proves relationships between fields of an object
topics >
all references >
references a-b >
Group:
program proving
Topic:
range checking
Quotation Skeleton
We present an extension of field analysis [ref] called related field analysis which is a general technique for … removing array bounds checks. … we define a pair of related fields to … relationship to the length of the array. … Our results show that [we] can remove an … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: range checking (20 items)