Detta dokument presenterar en ny algoritm för exakt uppskattning av den minsta minnesstorlek som krävs av program som behandlar array beräkningar. Minnesstorlek är en viktig faktor som påverkar områdes- och effektkostnaden för minnesenheter. För program som främst handlar om array beräkningar, är minneskostnaden en dominerande faktor i den totala systemkostnaden. Således, exakt uppskattning av minnesstorlek som krävs av ett program är nödvändigt för att ge kvantitativ information för att fatta beslut på hög nivå design. Baserat på formulerade levande variabler analys, omvandlar vår algoritm minsta minnesstorlek uppskattning till ett motsvarande problem: heltal punkt räkna för skärningspunkt / förening av kartläggningar av parameteriserade polytoper. Sedan föreslogs en heurist för att lösa räkneproblemet. Experimentella resultat visar att algoritmen uppnår exaktheten som traditionellt förknippas med helt orullande slingor samtidigt som den utnyttjar den minskade beräknings komplexiteten genom att bevara den ursprungliga slingan struktur.
I REF beskrivs en metod baserad på levande variabel analys och heltalsräkning.
Exact memory size estimation for array computations without loop unrolling