向量化中临时数组的引入

本文讨论可向量化ＤＯ循环中临时数组的引入问题．首先精确定义了对一个引用量引入一临时数组的概念，接着讨论了两种有效的引入形式，然后，对所有可向量化的ＤＯ循环证明按有效形式引入临时数组是普通有效的．同时也给出了在何处如何引入临时数组的算法．最后，还讨论了在一般循环分布中的相应问题．