
Chapter 3
Computation of Data Storage
Requirements for Affine Algorithmic
Specifications
Florin Balasa
American University in Cairo, New Cairo, Egypt
Hongwei Zhu
ARM, Inc., Sunnyvale, California
Ilie I. Luican
Microsoft Corp., Redmond, Washington
Contents
3.1 Introduction ...........................................................68
3.2 The Memory Size Computation Problem: A Brief Overview .........71
3.3 Computation of the Minimum Data Storage
for Affine Specifications ...............................................74
3.3.1 Definitions and concepts .......................................76
3.3.2 The index space of an array reference .........................78
3.4 ...