{"links":{},"id":16764,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00016764","sets":["934:935:963:968"]},"path":["968"],"owner":"1","recid":"16764","title":["LIR : COINSプロジェクトの低水準中間言語"],"pubdate":{"attribute_name":"公開日","attribute_value":"2003-02-15"},"_buckets":{"deposit":"855c8313-d22a-4faa-a55c-a699518e7f11"},"_deposit":{"id":"16764","pid":{"type":"depid","value":"16764","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"LIR : COINSプロジェクトの低水準中間言語","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"LIR : COINSプロジェクトの低水準中間言語"},{"subitem_title":"Design of a Low - level Intermediate Language in COINS Project","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"発表概要","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2003-02-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学情報理工学系研究科"},{"subitem_text_value":"ソニー株式会社ネットワーク&ソフトウェアテクノロジーセンターアドバンストテクノロジー開発部"},{"subitem_text_value":"法政大学情報科学部"},{"subitem_text_value":"東京大学情報理工学系研究科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science and Technology, The University of Tokyo","subitem_text_language":"en"},{"subitem_text_value":"Advanced Technology Development Department, Network & Software","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Computer and Information Sciences, Hosei University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, The University of Tokyo","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"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/16764/files/IPSJ-TPRO4402012.pdf"},"date":[{"dateType":"Available","dateValue":"2005-02-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO4402012.pdf","filesize":[{"value":"36.5 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"702173a0-feac-43f3-9b17-2394823b6b87","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2003 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"阿部, 正佳"},{"creatorName":"藤波, 順久"},{"creatorName":"中田, 育男"},{"creatorName":"萩谷, 昌己"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Seika, Abe","creatorNameLang":"en"},{"creatorName":"Nobuhisa, Fujinami","creatorNameLang":"en"},{"creatorName":"Ikuo, Nakata","creatorNameLang":"en"},{"creatorName":"Masami, Hagiya","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","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_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本発表ではCOINS プロジェクトの低水準中間言語LIR の特徴的な部分を説明する．中間言語LIRの目的はGCC のRTL と同様であり，また設計も似ている．一方でLIR はRTL にはない以下のような特徴を持つ．まず関数，ブロック，モジュールという，通常の低水準中間言語には見られない高水準の構造を導入することにより，最適化からコード生成に至るパスをあるモデルの上でのプログラム変換としてとらえることを可能とした．またLIR のドキュメンテーションでは表示的意味論でLIR の意味を記述した．これにより先のモデルが厳密に定義され，またポータブルで信頼性の高い処理系が実現可能となる．LIR はRTL 同様揮発性オブジェクトの表現を持つが，我々はその意味も厳密に定義しているので，揮発性オブジェクトへの誤った最適化を禁止できる．実行中のプログラムは揮発性変数をチャネルとしたプロセスと見なせる．この考えにより揮発性オブジェクトのもう1 つの，そしてより自然な意味付けができるが，一方でそれは大雑把であり実用的ではない．しかし，揮発性オブジェクトに対するこれら2 つの意味は等価であることが示せるので，我々の意味定義は妥当なものといえる．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this presentation, we briefly introduce essential advantages of the low-level compiler intermediate language LIR used in the project. The purpose and basic concepts of LIR are similar to those of RTL which is the intermediate language of GCC. The advantages of LIR are as follows. First, by employing higher-level constructs, usually absent in low-level compiler intermediate languages, we can describe all of compiler back-end passes, from code optimizations to code generations, as program transformations on a model. Secondly, the documentation of LIR is written by a formal method based on denotational semantics. This will ensure the existence of the model and help implementers write portable and reliable compilers. Finally, LIR has a representation for volatile objects like RTL, but also we rigorously define a semantics for the objects. This will inhibit wrong optimizations for the objects. A running program can be regarded as a process communicating via channels of volatile variables. This view inspires ano ther and more natural semantics of volatile objects; this semantics is, however, too rough to be practically useful. And a proof of equivalence between the two semantics provides adequacy of our semantics for the objects.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"43","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"43","bibliographicIssueDates":{"bibliographicIssueDate":"2003-02-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"SIG02(PRO16)","bibliographicVolumeNumber":"44"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:49:56.757157+00:00","updated":"2025-01-22T23:41:53.287575+00:00"}