名前呼び環境PCFの意味論

• Item type: Trans(1)
• 公開日: 2002-03-15
• タイトル: 名前呼び環境PCFの意味論
• タイトル / 言語: en
• タイトル: Semantics of Call -by- name Environment Calculus
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 松下電器産業株式会社
• 著者所属: 東京工業大学大学院情報理工学研究科
• 著者所属(英): en
• 著者所属(英): Matsushita Electric Industrial Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者名: 須藤, 正人; 西崎, 真也
• 著者名(英): Masato, Suto; Shin-Ya, Nishizaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ファーストクラス環境とは，実行状態の1 つである環境をファーストクラスオブジェクトとしたり，それを戻したりできる機能である．環境λ 計算は，λ 計算にそのような機能を組みこんだものである．PCF は，再帰演算子を持つ単純型付きλ 計算であり，評価戦略の研究のための枠組みとして用いられる．本研究では，ファーストクラス環境と名前呼び評価戦略との関連を研究するために，環境PCF とPCF の名前呼び評価戦略を環境計算に拡張したものを定義する．そして，評価戦略と意味論に関する基本的性質である計算的適切さなど，理論的性質について考察する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The first-class environment is one of the evaluation states, which enables us to use meta-level environments as object-level entities, and oppositely, to use the object-level environments as meta-level ones. The environment calculus is a variant of lambda calculus, which is provided with such mechanism. Formal system PCF, a simply-typed lambda calculus with recursive operator, is a framework for semantical study of evaluation strategy. In this paper, we propose an extended system of PCF with first-class environments and study call-by-name strategy and its semantical properties, including computational adequacy.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 43, 号 SIG03(PRO14), p. 52-61, 発行日 2002-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会