Formal model of data reuse analysis for hierarchical memory organizations