| Título: | A comprehensive approach to array bounds check elimination for Java / |
| Autores: | Qian, Feng, 1973- |
| Fecha: | 2001 |
| Publicador: | McGill University - MCGILL |
| Fuente: |
 |
| Tipo: | Electronic Thesis or Dissertation |
| Tema: | Computer Science. |
| Descripción: | We present a new approach to eliminate array bounds checks in Java by using static analyses. Our approach is based upon a flow-sensitive intraprocedural analysis called variable constraint analysis (VCA). VCA collects constraints between locals related to array references. The array bounds check problem is formulated as solving a system of difference constraints. The analysis builds a small constraint graph for each important point in a method, and then computes the shortest-path weight of the graph. The shortest-path weights from upper bound to array index and from the index to lower bound indicates the safety of checks. Using VCA as the base analysis, we also show how two further analyses can improve the results of VCA. Array field analysis is applied on each class and provides information about some arrays stored in fields, while rectangular array analysis is an interprocedural analysis to approximate the shape of arrays, and is useful for finding rectangular (non-ragged) arrays. (Abstract shortened by UMI.) |
| Idioma: | en |
1 Investigations on the form-genera Beauveria and Tritirachium por MacLeod, Donald Murdock | 6 Treatment and recovery in first-episode psychosis : a qualitative analysis of client experiences por Windell, Deborah L. |
2 Seismic sensitivity of tall guyed telecommunication towers. por Ghodrati Amiri, Gholamreza. | 7 |
3 Exploring the Relationship Between Assets and Family Stress Among Low-Income Families por Rothwell, David W.,Han, Chang-Keun | 8 |
4 The case for asset-based interventions with indigenous peoples: Evidence from Hawai‘i por Rothwell, David W. | 9 |
5 Second Thoughts: Who Almost Participates in an IDA Program? por Rothwell, David W.,Han, Chang-Keun | 10 Recent contributions to the phenomenology of musical time : a critical survey por Beaudreau, Pierre |