WEKO3
アイテム
関数型プログラムとグラフ還元
https://ipsj.ixsq.nii.ac.jp/records/30866
https://ipsj.ixsq.nii.ac.jp/records/30866e10fbfe9-4f03-4317-9813-178f051fae6d
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1990 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1990-09-21 | |||||||
タイトル | ||||||||
タイトル | 関数型プログラムとグラフ還元 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | On Functional Program and Graph Reduction | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
電子技術総合研究所情報アーキテクチャ部言語システム研究室 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Computer Language Section, Computer Science Division ELECTROTECHNICAL LABORATORY | ||||||||
著者名 |
杉藤, 芳雄
× 杉藤, 芳雄
|
|||||||
著者名(英) |
Yoshio, Sugito
× Yoshio, Sugito
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 関数型プログラムの処理系を組合せ論理の還元に依存して実現することを考える場合、特にいわゆるグラフ還元の利用が注目される。Turnerがこの方式の有効性を示す際に、再帰呼出しのデータ構造としてサイクル構造を活用できることを挙げたが、その具体的な方法には言及していない。本稿ではその主張の可否をサイクル構造問題と称して検討する。その結果は、彼の提案するスタックとグラフ表現の併用という枠組みで階乗プログラムを例題として試行する場合、書き換え規則における置換セルの管理法に留意すれば、彼の主張が成立することを導ける。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | When we intend to implement a system of processing functional programs with the aide of a reduction scheme based on the combinatory logic, it may be remarkable to adopt what we call 'graph reduction'. D.A.Turner showed the effectiveness of a system using a graph reduction, and claimed as one of its merits an availability of a cycle structure for a recursive call. Unfortunately it was not a concrete explanation, it remained some doubt about its straightforward realization. We call the doubt 'a cycle structure problem', and in this report we investigate its right or wrong in his framework made of a special stack and a graph representation, taking as an example a factorial calculation program. The result is that if we carefully decide the graph rewriting rules so as to keep its replaced parts properly, his assertion will hold. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10485570 | |||||||
書誌情報 |
情報処理学会研究報告プログラミング(PRO) 巻 1990, 号 76(1990-PRO-036), p. 1-9, 発行日 1990-09-21 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |