16 search results - page 1 / 4 » ABCD: eliminating array bounds checks on demand |
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
CC
2011
Springer
13 years 2 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
PADO
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
SAS
2009
Springer
14 years 11 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...