《JIS X3016-2006 CLI：Common Language Infrastructure.pdf》由会员分享，可在线阅读，更多相关《JIS X3016-2006 CLI：Common Language Infrastructure.pdf（412页珍藏版）》请在三一文库上搜索。
1、 X 3016：2006 (ISO/IEC 23271：2003) （1） 規格， 工業標準化法第 12 条第 1 項規定基， 社団法人情報処理学会情報規格調査会(ITSCJ) 財団法人日本規格協会(JSA)，工業標準原案具日本工業規格制定申出，日 本工業標準調査会審議経，経済産業大臣制定日本工業規格。 制定当，日本工業規格国際規格対比，国際規格一致日本工業規格作成及日 本工業規格基礎国際規格原案提案容易，ISO/IEC 23271:2003，Information technology - Common Language Infrastructure 基礎用。 規格一部，技術的性質特許権，出
2、願公開後特許出願，実用新案権，又出願公開後 実用新案登録出願抵触可能性注意喚起。経済産業大臣及日本工業標準調査会 ，技術的性質特許権，出願公開後特許出願，実用新案権，又出願公開後実用新 案登録出願確認，責任。 JIS X 3016 ，次示附属書。 附属書 A（参考） 適用範囲 附属書 B（参考） 見本 附属書 C（参考） CIL 実装 附属書 D（参考） 設計 附属書 E（参考） 可搬性関考察 X 3016：2006 (ISO/IEC 23271：2003) （2） 目 次 序文序文1 第第 1 章 概念及章 概念及1 1. 適用範囲 適用範囲1 2. 適合性 適合性2 3. 引用規格 引用規
3、格2 4. 形式 形式4 5. 用語解説 用語解説4 6. 共通言語基盤概要 共通言語基盤概要15 7. 共通言語仕様（ 共通言語仕様（CLS）17 8. 共通型 共通型20 9. 49 10. 共通言語仕様名前及型規則 共通言語仕様名前及型規則54 11. 共通言語仕様規則集大成 共通言語仕様規則集大成59 12. 仮想実行 仮想実行62 第第 2 章 定義及意味論章 定義及意味論87 1. 有効範囲 有効範囲87 2. 概要 概要87 3. 妥当性検証及正当性検証 妥当性検証及正当性検証87 4. 入門例 入門例88 5. 一般的構文 一般的構文89 6. ，目録及 ，目録及94 7. 型
4、及識別情報 型及識別情報100 8. 可視性，可能性及隠 可視性，可能性及隠104 9. 型定義 型定義105 10. 意味論 意味論116 11. 意味 意味116 12. 値型意味論 値型意味論118 13. 特殊型意味論 特殊型意味論121 14. 定義，参照，及呼出 定義，参照，及呼出 132 15. 定義及参照 定義及参照148 16. 特性定義 特性定義154 17. 定義 定義155 18. 例外処理 例外処理 158 19. 宣言 宣言161 20. 属性 属性161 X 3016：2006 (ISO/IEC 23271：2003) （3） 21. 論理形式 論理形式 表表16
5、5 22. 論理形式他構造体 論理形式他構造体201 23. 物理的配置 物理的配置219 24. PE 形式拡張形式拡張223 第第 3 章 章 CIL 命令集合命令集合232 1. 有効範囲 有効範囲232 2. 命令接頭辞 命令接頭辞252 3. 基本命令 基本命令254 4. 命令 命令291 第第 4 章 及章 及308 1. 概要 概要308 2. 及 及308 3. 標準 標準310 4. 機能要件 機能要件311 5. 標準 標準312 6. 対実装固有変更 対実装固有変更314 7. XML 仕様意味規則仕様意味規則314 第第 5 章 附属書章 附属書323 附属書附属書
6、A（参考） 適用範囲（参考） 適用範囲324 附属書附属書 B（参考） 見本（参考） 見本325 附属書附属書 C（参考） （参考） CIL 実装実装331 附属書附属書 D（参考） 設計（参考） 設計381 附属書附属書 E（参考） 可搬性関考察（参考） 可搬性関考察402 日本工業規格 JIS X 3016：2006 (ISO/IEC 23271：2003 ) 共通言語基盤(CLI) CLI: Common Language Infrastructure 序文序文 規格，2003 年第 1 版発行 ISO/IEC 23271，Information technology - Common
7、Language Infrastructure 翻訳，技術的内容及規格票様式変更作成日本工業規格。 ，規格点線下線施参考事項，対応国際規格事項。 第第 1 章 概念及章 概念及 1. 適用範囲適用範囲 規格，異環境，環境独特性質考慮書換行 ，複数高水準言語書動作可能共通言語基盤（CLI）定 義。 規格次部分。 第第 1 章 概念及章 概念及 ， CLI 総覧， 共通型 （CTS） ， 仮想実行（VES）及共通言語仕様（CLS）標準仕様提供。，標準仕 様外記述並省略形，頭字語及定義包括的集合提供。，他章参 照含。 第第 2 章 定義及意味論章 定義及意味論 ，標準記述提供。物理的配 置（形式。
8、） ，論理的内容（複数表集合及表間関係。 ）及意味論（仮想 参照 ilasm。 ）説明。 第第 3 章 章 CIL 命令集合命令集合 ，詳細，共通中間言語（Common Infrastructure Language，CIL）命令 集合記述。 第第 4 章 及章 及 ，CLI 概要並及 中仕様分担規定提供。章一部考，XML 書式配布附 属文書，CLI 各，値型及詳細提供。 第第 5 章 附属書章 附属書 次含。 言語（ILAsm）書幾 。 特定実装関情報。 CIL 命令集合機械可読記述。使用文法一部派生使用。 ，CIL 操作他使用。 設計中使用。 備考備考 規格対応国際規格，次示。 ，対応程度
9、表記号，ISO/IEC Guide21 基，IDT（一致。 ） ，MOD（修正 。 ） ，NEQ（同等。 ）。 ISO/IEC 23271:2003，Information technology - Common Language Infrastructure (IDT) 2 X 3016：2006 (ISO/IEC 23271：2003) 第 2 章 定義及意味論 2. 適合性適合性 規格適合性，規格必（須）要件実装 ，実装（第第 4 章章参照）指定。最小実装 （第第 4 章章参照）。規格合致処理系，更，規格中指定単依 存書実行中妨補足機能取込。例，処理系追加 ，既存上新方式又標準化上新提供
10、。，処理 系規格中指定又特性加。 共通中間言語（第第 3 章章 CIL 参照）生成規格適合性，規格中指定 形式出力作成。，生成 CIL 規格中指定 妥当 CIL 。，更，正当性検証可能生成 。場合，生成 CIL ，規格中規定正 当性検証可能。 3. 引用規格引用規格 次掲規格，規格引用，規格規定一部構成。 引用規格発行年付記，記載年版規格規定構成 ，後改正版追補適用。発効年又発行年付記引用規格，最新版（追 補含。 ）適用。ISO IEC ，現在正当国際規格登録物維持。 備考備考 参照多， XML 記述中引用。 JIS X 0304:1999 国名 備考備考 ISO 3166-1:1997, C
11、odes for the representation of names of countries and their subdivisions - Part 1: Country codes ，引用規格一致。 JIS X 0412-1:2004 言語名第部：文字 備考備考 ISO 639-1:2002, Codes for the representation of names of languages - Part 1: Alpha-2 code ，引用規 格一致。 JIS X 0412-2:2004 言語名第部：文字 備考備考 ISO 639-2:1998 Codes for the r
12、epresentation of names of languages - Part 2: Alpha-3 code ，引用規 格一致。 JIS X 3014:2003 言語 C+ 備考備考 ISO/IEC 14882:1998, Programming languages C+，引用規格一致。 JIS X 4159 拡張可能付言語 (XML 1.0) 備考備考 Extensible Markup Language (XML) 1.0 (Second Edition), 2000 October 6, http:/www.w3.org/TR/2000/REC-xml-20001006 ，引用規
13、格対応。 IEC 60559:1989, Binary floating-point arithmetic for microprocessor systems（従前番号，IEC 559:1989。 規格， 米国標準 ANSI/IEEE Standard 754-1985, IEEE Standard for Binary Floating-Point Arithmetic 知。 ） Federal Information Processing Standard (FIPS 180-1), Secure Hash Standard (SHA-1), 1995, April. 次規格，参考。 J
14、IS X 0201 7 及 8 情報交換用符号化文字集合 備考備考 関連規格ISO/IEC 646:1991, ISO 7-bit coded character set for information interchangeMOD。 JIS X 0221（規格群全体）国際符号化文字集合 備考備考 ISO/IEC 10646 （規格群全体） Information technology Universal Multiple-Octet Coded Character Set （UCS） ，関連規格一致。 3 X 3016：2006 (ISO/IEC 23271：2003) 第 2 章 定義及意
15、味論 JIS X 3010:2003 言語 C 備考備考 ISO/IEC 9899:1999, Programming languages C ，関連規格一致。 JIS X 3015:2003 言語 C# 備考備考 ISO/IEC 23270:2003, Programming languages C#，関連規格一致。 JIS X 5718 開放型間相互接続遠隔手続呼出 備考備考 ISO/IEC 11578:1996 (E) Open Systems Interconnection - Remote Procedure Call (RPC), Annex A: Universal Unique
16、 Identifier ，関連規格一致。 RFC-768, User Datagram Protocol. J. Postel. 1980, August. RFC-791, Darpa Internet Program Protocol Specification. 1981, September. RFC-792, Internet Control Message Protocol. Network Working Group. J. Postel. 1981, September. RFC-793, Transmission Control Protocol. J. Postel. 1981, September. RFC-919, Broadcasting Internet Datagrams. Network Working Group. J. Mogul. 1984, October. RFC-922, Broadcasting Internet Datagrams in the presence of Sub