On Demand Parametric Array Dataflow Analysis
On Demand Parametric Array Dataflow Analysis
复制标题
按需参数化阵列数据流分析
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
T. Stefanov
中科院分区：
文献类型：
--
作者：
Sven Verdoolaege;Hristo Nikolov;T. Stefanov
我们提出了一种新颖的方法，用于在非静态仿射结构存在的情况下进行精确数组数据流分析。该方法类似于模糊数组数据流分析，因为它也引入了参数，这些参数表示仅在运行时可用的信息，但这些参数具有不同的含义，并且在引入之前进行了分析。该方法是由我们在过程网络上的工作所激发的，但通常应该是有用的，因为在较大的输入上引入的参数较少。我们包括一些初步的实验结果。
We present a novel approach for exact array dataflow analysis in the presence of constructs that are not static affine. The approach is similar to that of fuzzy array dataflow analysis in that it also introduces parameters that represent information that is only available at run-time, but the parameters have a different meaning and are analyzed before they are introduced. The approach was motivated by our work on process networks, but should be generally useful since fewer parameters are introduced on larger inputs. We include some preliminary experimental results.