WEKO3
-
RootNode
アイテム
Modulo Interval Arithmetic and Its Application to Program Analysis
https://ipsj.ixsq.nii.ac.jp/records/12014
https://ipsj.ixsq.nii.ac.jp/records/12014dee17907-b6a0-4835-831f-ef1d32ade478
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL4204020.pdf (259.0 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-04-15 | |||||||
| タイトル | ||||||||
| タイトル | Modulo Interval Arithmetic and Its Application to Program Analysis | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Modulo Interval Arithmetic and Its Application to Program Analysis | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集：並列処理 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 並列化コンパイラ | |||||||
| 著者所属 | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者所属 | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science, Nara Institute of Science and Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science, Nara Institute of Science and Technology | ||||||||
| 著者名 |
Tsuneo, Nakanishi
Akira, Fukuda
× Tsuneo, Nakanishi Akira, Fukuda
|
|||||||
| 著者名(英) |
Tsuneo, Nakanishi
Akira, Fukuda
× Tsuneo, Nakanishi Akira, Fukuda
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 42, 号 4, p. 829-837, 発行日 2001-04-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
