図式をシンタックスに持つ関数型言語
スポンサーリンク
概要
- 論文の詳細を見る
本論文では図式をシンタックスに持つ関数型言語を提案する.これは関数型言語によるプログラムの図的表現の提案でもある.関数型言語によって書かれたプログラムは,それによって関数をも含むデータのやりとりを記述していることに着目し,図的に表現されたデータの流れ,モジュール,モジュールの入出力ポートといった概念を,総てλ計算で解釈する.図式は一度,λ計算ヘシュガリングを行った,リダクションによって実行される関数型言語Crescendo[14]ヘ変換され実行される.これにより,データの流れ,モジュール等に対してλ計算により意味が与えられた関数型言語が作成され,リダクションをデータフローという観点から見ることが可能となる.さらにデータの入出力点,データの送受信を明確にとり扱うことが可能になった.
- 1989-04-14
論文 | ランダム
- 鋳物用生型砂の混練所要動力に及ぼす引張強度と引張破断エネルギの影響(粉体小特集)
- 女性と飲酒 : 女性アルコール依存症の予後に関する比較研究
- アルコール依存症の短期予後と長期予後-断酒会員の追跡調査から-
- アルコｰル依存症の予後論, 再考
- アルコール依存症者の予後-特に適応状況の移動について-