The modulo interval: a simple and practical representation for program analysis
The modulo interval: a simple and practical representation for program analysis
复制标题
模区间：程序分析的简单实用的表示
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
A. Fukuda
中科院分区：
文献类型：
--
作者：
Tsuneo Nakanishi;K. Joe;C. Polychronopoulos;A. Fukuda
在本文中，模区间（传统实数区间的扩展）及其有用的数学属性被提出作为程序分析的表示。只需在实数区间上增加两个参数，即模和余数，模区间就可以以合理的复杂度和更高的精度来表示具有循环性的程序的信息，例如循环索引、数组下标等。模区间上定义良好的算术和集合运算使编译器的实现简单可靠。此外，本文还讨论了模区间在并行编译器程序分析中的应用。
In this paper, the modulo interval, an extension of the traditional interval on real numbers, and its useful mathematical properties are presented as a representation for program analysis. Only with two additional parameters to the interval on real numbers, namely the modulus and the residue, the modulo interval can represent information on programs having cyclicity such as loop indices, array subscripts etc., at reasonable complexity and more accuracy. Well-defined arithmetic and set operations on the modulo interval make implementation of compilers simple and reliable. Moreover, application of the modulo interval to program analysis for parallelizing compilers is discussed in this paper.