図式をシンタックスに持つ関数型言語
スポンサーリンク
概要
- 論文の詳細を見る
本論文では図式をシンタックスに持つ関数型言語を提案する.これは関数型言語によるプログラムの図的表現の提案でもある.関数型言語によって書かれたプログラムは,それによって関数をも含むデータのやりとりを記述していることに着目し,図的に表現されたデータの流れ,モジュール,モジュールの入出力ポートといった概念を,総てλ計算で解釈する.図式は一度,λ計算ヘシュガリングを行った,リダクションによって実行される関数型言語Crescendo[14]ヘ変換され実行される.これにより,データの流れ,モジュール等に対してλ計算により意味が与えられた関数型言語が作成され,リダクションをデータフローという観点から見ることが可能となる.さらにデータの入出力点,データの送受信を明確にとり扱うことが可能になった.
- 1989-04-14
論文 | ランダム
- 近世の神宮奏事始
- 金融論とともに40年
- ジョン・ローの理論と事績
- 貿易理論と為替理論との接点〔古典学派貿易理論の再吟味)
- Effect of a Bio-decomposer on Utilization by Rice (Oryza sativa L.) of ^N Derived from Rice Chaff or Straw