{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00012014","sets":["581:677:686"]},"path":["686"],"owner":"1","recid":"12014","title":["Modulo Interval Arithmetic and Its Application to Program Analysis"],"pubdate":{"attribute_name":"公開日","attribute_value":"2001-04-15"},"_buckets":{"deposit":"5878daaf-fe25-4118-9ad5-edb40f26d928"},"_deposit":{"id":"12014","pid":{"type":"depid","value":"12014","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"Modulo Interval Arithmetic and Its Application to Program Analysis","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Modulo Interval Arithmetic and Its Application to Program Analysis"},{"subitem_title":"Modulo Interval Arithmetic and Its Application to Program Analysis","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集：並列処理","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2001-04-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science  Nara Institute of Science and Technology"},{"subitem_text_value":"Graduate School of Information Science  Nara Institute of Science and Technology"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science, Nara Institute of Science and Technology","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science, Nara Institute of Science and Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/12014/files/IPSJ-JNL4204020.pdf"},"date":[{"dateType":"Available","dateValue":"2003-04-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL4204020.pdf","filesize":[{"value":"259.0 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"c37dfaf6-ecc7-46a6-ae12-c0b3392a1ef6","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2001 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tsuneo, Nakanishi"},{"creatorName":"Akira, Fukuda"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tsuneo, Nakanishi","creatorNameLang":"en"},{"creatorName":"Akira, Fukuda","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"837","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"829","bibliographicIssueDates":{"bibliographicIssueDate":"2001-04-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"42"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"並列化コンパイラ"}]},"weko_creator_id":"1"},"id":12014,"updated":"2025-01-23T01:52:19.348960+00:00","links":{},"created":"2025-01-18T22:46:29.218611+00:00"}