図式をシンタックスに持つ関数型言語
スポンサーリンク
概要
- 論文の詳細を見る
本論文では図式をシンタックスに持つ関数型言語を提案する.これは関数型言語によるプログラムの図的表現の提案でもある.関数型言語によって書かれたプログラムは,それによって関数をも含むデータのやりとりを記述していることに着目し,図的に表現されたデータの流れ,モジュール,モジュールの入出力ポートといった概念を,総てλ計算で解釈する.図式は一度,λ計算ヘシュガリングを行った,リダクションによって実行される関数型言語Crescendo[14]ヘ変換され実行される.これにより,データの流れ,モジュール等に対してλ計算により意味が与えられた関数型言語が作成され,リダクションをデータフローという観点から見ることが可能となる.さらにデータの入出力点,データの送受信を明確にとり扱うことが可能になった.
- 1989-04-14
論文 | ランダム
- 収穫後における蔬菜果実の生化学的研究-1-
- トマト果汁の品質に関する研究-2-
- 燐酸の施用量が作物の生育収量並びに収穫物の品質に及ぼす影響-5-
- トマト果汁の品質に関する研究-1-
- 燐酸の施用量が作物の生育,収量並びに収穫物の品質に及ぼす影響-4-