Array-access analysis: Difference between revisions

Revision as of 01:53, 15 August 2006

Revision as of 00:10, 5 September 2006

Line 5:

Array access analysis can be largely categorized into exact (or reference-list-based) and summary methods for different tradeoffs of accuracy and complexity. Exact methods are precise but very costly in terms of computation and space storage, while summary methods are approximate but can be computed quickly and economically.

Typical exact array access analyisanalysis include linearization and [[atom images]]. Summary methods can be further divided into [[array sections]], bounded regular sections using [[triplet notation]], linear-constraint methods such as data access descriptors and [[array region analysis]].

[[Category:compilers]]