SS2000-11 項書き換え系に基づく関数型言語処理とグラフ変換
スポンサーリンク
概要
- 論文の詳細を見る
関数型言語の主要な計算モデルの一つとして、項書き換え系がある。本稿では、我々が開発してきたグラフ変換系の事例研究の一環として、項に関する書き換え操作をグラフ変換の一種と見なすことにより、項書き換え系の振る舞いをグラフ変換系で実現することを試み、一定の見通しが得られたので報告する。
- 社団法人電子情報通信学会の論文
- 2000-07-06
著者
関連論文
- グラフ処理用言語GML-56
- Westran : Fortran をベースとした構造的言語とその処理系
- グラフ処理システム GMS とその応用
- グラフ処理用2次元言語GMLとその機能
- 3-4 電総研における歴史に残すべき技術 (3. 企業や研究機関等ごとの歴史に残すべき技術) (電子情報通信分野の歴史に残すべき技術 : 産業界を中心として)
- ソフトウェアにおける信頼性 (高信頼化技術)
- 72-37 データ構造の理解をめざして
- 71-1 Genie コンパイラでの一般化配列の演算
- 69-37 BNF文法に対するパーザーの生成
- 68-37. ディジタル像のホログラフ化による表示
- 68-20. ブロック向きシステム設計における考察
- F-10. 計算機による計算機設計
- ラムダ計算と図式表現
- 型の扱いとグラフ変換
- SS2000-11 項書き換え系に基づく関数型言語処理とグラフ変換
- 組合せ論理に基づく関数型言語処理とグラフ変換
- 電子計算機の国産化と国策について
- 「碍子試験所」は公式に存在したか
- ラムダ計算の図式表現とグラフ変換