WEKO3
アイテム
関数型言語とグラフ還元について
https://ipsj.ixsq.nii.ac.jp/records/22469
https://ipsj.ixsq.nii.ac.jp/records/224690b11d7a1-96db-4647-96bc-b015c221e21a
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1987 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1987-02-13 | |||||||
タイトル | ||||||||
タイトル | 関数型言語とグラフ還元について | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | On Functional Language and Graph Reduction through the case study about the execution of a functional language program | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
電子技術総合研究所ソフトウェア部言語処理研究室 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Language Processing Section, Computer Science Division, ELECTROTECHNICAL LABORATORY | ||||||||
著者名 |
杉藤, 芳雄
× 杉藤, 芳雄
|
|||||||
著者名(英) |
Yoshio, Sugito
× Yoshio, Sugito
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 関数型言語プログラムの処理方式として有力視されているのは、ラムダ計算あるいは組合せ論理の世界での書き換え規則に基づく変換過程である還元によるものである。その還元の内でもとりわけグラフ還元が注目されているのは、共有構造を許すことにより評価済み値への2度目以降のアクセスでは評価が不要になることが大きな理由であろう。本稿では、関数型言語と還元との緊密な関係を考察したあと、グラフ処理言語で作成された組合せ論理の世界での関数型言語処理系を用いて関数型言語プログラムのグラフ還元による“実行”過程を追跡するという事例研究を通して、とくにグラフ還元に的を絞ってその意義を検討する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Reduction, which is transformation process by means of the rewriting rules in the frame of Lambda Calculus or of Combinatory Logic, is one of the most promising approaches for processing functional language programs. In this report, after debating briefly the close relation between functional languages and reductions, we especially concentrate our attention on so-called graph reduction because of its merits on sharing structure, and discuss its significance through the case study tracing precisely the execution of a functional language program via graph reduction in the Combinatory Logic world with the aid of a reduction system implemented by a graph manipulation language. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112981 | |||||||
書誌情報 |
情報処理学会研究報告ソフトウェア工学(SE) 巻 1987, 号 11(1986-SE-052), p. 25-32, 発行日 1987-02-13 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |