WEKO3
アイテム
グラフ還元とデータ構造
https://ipsj.ixsq.nii.ac.jp/records/31006
https://ipsj.ixsq.nii.ac.jp/records/3100679a1f56d-b40d-4b8e-8b33-f8ad6565cc3c
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1989-03-10 | |||||||
タイトル | ||||||||
タイトル | グラフ還元とデータ構造 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Graph Reduction and Data structure | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
電子技術総合研究所情報アーキテクチャ部言語システム研究室 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Computer Language Section, Computer Science Division, ELECTROTECHNICAL LABORATORY | ||||||||
著者名 |
杉藤, 芳雄
× 杉藤, 芳雄
|
|||||||
著者名(英) |
Yoshio, Sugit0
× Yoshio, Sugit0
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 関数型言語の処理方式として有力視されるものに、関数型言語で記述したプログラムを組合せ論理の世界に写像して目的コードとし、それを組合せ論理のコンビネータ等に関する書き換え規則に基づく還元により評価実行するものがある。その際、還元の実行形態としては、記号列の変換をグラフ表現上での書き換えとみなす”グラフ還元”と称されるものが、いくつかの利点ゆえに特に注目される。グラフ還元がグラフを操作対象とする以上、グラフのデータ構造の差異がグラフ還元に及ぼす影響は無視できないものがあることが予想されるが、本報告ではその予想が事実であることを図解入りで示す。また、再帰プログラムの場合におけるグラフ還元とデータ構造の関係も検討する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | As one of the most promising approach for processing functional language programs, there exists the one which transforms a functional language program into its corresponding Combinatory Logic expressions, and then which evaluates the expressions by means of a reduction based on rewriting rules of combinators in Combinatory Logic. In that case, as for the methods of executing reduction, graph reduction, where transformation of strings is regarded ad transformation of graphs, is especially worthy of notice because of its several merits. As graph reduction deales with graph itself, we can suppose that the difference among data structures of graph should have strong influence on the behavior of graph reduction. In this report, with the aid of illustrations we show that the supposition is true. And we also investigate the relations between graph reduction and data structure in case of recursive programs. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10485570 | |||||||
書誌情報 |
情報処理学会研究報告プログラミング(PRO) 巻 1989, 号 20(1988-PRO-028), p. 49-56, 発行日 1989-03-10 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |