{"updated":"2025-01-22T23:51:52.523340+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00016434","sets":["934:935:938:940"]},"path":["940"],"owner":"1","recid":"16434","title":["CPUの条件実行機能に対応した型付きアセンブリ言語"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-09-26"},"_buckets":{"deposit":"4e7d0ced-1200-4daa-9b86-fe6748dd6026"},"_deposit":{"id":"16434","pid":{"type":"depid","value":"16434","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"CPUの条件実行機能に対応した型付きアセンブリ言語","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"CPUの条件実行機能に対応した型付きアセンブリ言語"},{"subitem_title":"Typed Assembly Language for Conditional Execution","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"通常論文","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2008-09-26","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"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":"Graduate School of Information Science and Technology, The University of Tokyo","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/16434/files/IPSJ-TPRO0102003.pdf"},"date":[{"dateType":"Available","dateValue":"2010-09-26"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO0102003.pdf","filesize":[{"value":"329.1 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":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"7b801f72-8d18-4133-b581-afce7f2bcc43","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2008 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"飯塚, 大輔"},{"creatorName":"前田, 俊行"},{"creatorName":"米澤, 明憲"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Daisuke, Iizuka","creatorNameLang":"en"},{"creatorName":"Toshiyuki, Maeda","creatorNameLang":"en"},{"creatorName":"Akinori, Yonezawa","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":"型付きアセンブリ言語（TAL）は，高級言語コンパイラのターゲット言語となりうる，型安全な低級言語である．TALの型システムは，型付けされたプログラムが，クロージャ，タプル，またはユーザによって定義された抽象データ型のような高級言語の構造を破壊しないということを保証する．オリジナルのTALは一般的な理論上のRISCアーキテクチャに対して設計されており，具体的な実装はIA-32アーキテクチャ以外は考えられていない．本論文は，組み込み機器で広く使われているARMアーキテクチャに対応するTALについて説明する．ARMの重要な特徴の1つは条件実行機構である．条件実行とは，命令が実行されるかどうかが，実行時にそれぞれの命令に付随する条件フラグとCPUのステータスレジスタの条件ビットの値を比較することによって決定される，という機構である．より詳細にいうと，本論文は，条件実行をサポートするために，4ビットの条件ビットの値を型に写像する写像型を用いて，TALを拡張する．我々の型システムでは，1つのレジスタは，条件ビットの値によって同時に異なった型を持つことができる．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Typed Assembly Language (TAL) is a type-safe low-level language that serves as a target language for compilers of high-level languages. TAL's type system ensures that well-typed programs do not violate high-level language abstractions, such as closures, tuples, and user-defined abstract data types. The original TAL was designed for a generic, theoretical RISC architecture, and no specific real-world architectures have been considered except for the IA-32 architecture. We present a TAL for the ARM architecture that is widely used in embedded computing environments. One key feature of ARM is Conditional Execution facility. Conditional Execution is the mechanism whether an instruction is executed or not is determined dynamically by a comparison of the conditional flag, which is specified in the instruction, and the value of the condition bits in the status register of the CPU. More specifically, we present an extension of TAL to support Conditional Execution with mapping types which map a value of the condition bits to a type. In our type system, a single register can have different types simultaneously, depending on the condition bits.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"27","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"9","bibliographicIssueDates":{"bibliographicIssueDate":"2008-09-26","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"1"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:49:42.424043+00:00","id":16434,"links":{}}