共有環境を用いた弱λ-計算における最適簡約定理
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,共有環境を伴い,取り扱いやすく明確な方法で関数型計算を表現する弱λ-計算,λf-計算(λf-calculus)を提示する.λf-計算は,環境中の変数を通信のチャネルとして用いることで,名前通信の概念を高階関数実行の枠組へと導入し,共有環境下での関数型計算の単純な定式化を可能とした形式系である.本稿ではこのλf-計算の構文的および操作的な性質であるChurch-Rosser定理や正規化定理などについて紹介する.特にこの形式系の最左戦略が,弱実行系の枠組において最適な簡約経路(optimal reduction path)を与えること示す.
- 1994-11-15
著者
関連論文
- ν計算・並行結合子・プログラミング言語
- ν計算・並行結合子・プログラミング言語
- 名前通信プロセス計算の並行コンビネータ
- FPCA '93
- 2.π-計算とその周辺 (並行計算の理論の最近の動向)
- 共有環境を用いた弱λ-計算における最適簡約定理
- 並行計算のための簡約意味論
- 簡約意味論の理論と実践