Modulo interval: A simple and practical representation for program analysis

Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda

Research output: Contribution to journalConference article

4 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)91-96
Number of pages6
JournalParallel Architectures and Compilation Techniques - Conference Proceedings, PACT
Publication statusPublished - Dec 1 1999
Externally publishedYes

Fingerprint

Program Analysis
Modulo
Interval
Parallelizing Compilers
Subscript
Cyclicity
Compiler
Well-defined
Two Parameters
Modulus

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

Cite this

Modulo interval : A simple and practical representation for program analysis. / Nakanishi, Tsuneo; Joe, Kazuki; Polychronopoulos, Constantine D.; Fukuda, Akira.

In: Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, 01.12.1999, p. 91-96.

Research output: Contribution to journalConference article

@article{2895e5dc20414000a72dc3121736e607,
title = "Modulo interval: A simple and practical representation for program analysis",
abstract = "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.",
author = "Tsuneo Nakanishi and Kazuki Joe and Polychronopoulos, {Constantine D.} and Akira Fukuda",
year = "1999",
month = "12",
day = "1",
language = "English",
pages = "91--96",
journal = "Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT",
issn = "1089-795X",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Modulo interval

T2 - A simple and practical representation for program analysis

AU - Nakanishi, Tsuneo

AU - Joe, Kazuki

AU - Polychronopoulos, Constantine D.

AU - Fukuda, Akira

PY - 1999/12/1

Y1 - 1999/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0033362934&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033362934&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0033362934

SP - 91

EP - 96

JO - Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

JF - Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

SN - 1089-795X

ER -