書誌事項
- タイトル別名
-
- ナマエ ヨビ カンキョウ PCF ノ イミロン
- Semantics of Call -by- name Environment Calculus
この論文をさがす
説明
ファーストクラス環境とは，実行状態の1 つである環境をファーストクラスオブジェクトとしたり，それを戻したりできる機能である．環境λ 計算は，λ 計算にそのような機能を組みこんだものである．PCF は，再帰演算子を持つ単純型付きλ 計算であり，評価戦略の研究のための枠組みとして用いられる．本研究では，ファーストクラス環境と名前呼び評価戦略との関連を研究するために，環境PCF とPCF の名前呼び評価戦略を環境計算に拡張したものを定義する．そして，評価戦略と意味論に関する基本的性質である計算的適切さなど，理論的性質について考察する．
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.
収録刊行物
-
- 情報処理学会論文誌プログラミング（PRO）
-
情報処理学会論文誌プログラミング（PRO） 43 (SIG03(PRO14)), 52-61, 2002-03-15
東京 : 情報処理学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050282812868352000
-
- NII論文ID
- 110002726319
-
- NII書誌ID
- AA11464814
-
- ISSN
- 18827802
- 03875806
-
- NDL書誌ID
- 6124111
-
- 本文言語コード
- ja
-
- 資料種別
- article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles
