著者

Tsuneo Nakanishi Akira Fukuda

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.42, no.4, pp.829-837, 2001-04-15

---

Interval arithmetic an arithmetic system on intervals of real numbers is useful for program analysis which deals with range information of variables or expressions such as array reference analysis data dependence analysis and value range analysis.However since loop indices or array subscripts often take contiguous integers with a stride the interval representing densely contiguous real numbers is not accurate representation for program analysis and degrades opportunity of parallelization or code optimization.In this paper {it modulo interval arithmetic/} an arithmetic system on sets of contiguous integers with strides included in real intervals is presented.Modulo interval arithmetic has both arithmetic operations and set operations which are useful for various program analysis.Moreover this paper discusses application of modulo interval arithmetic to program analysis for parallelizing compilers.