WEKO3
アイテム
グラフ還元における共有構造の効用と限界
https://ipsj.ixsq.nii.ac.jp/records/30972
https://ipsj.ixsq.nii.ac.jp/records/309726cce53ad-da65-4061-b36b-74b8ec182345
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1989-09-08 | |||||||
タイトル | ||||||||
タイトル | グラフ還元における共有構造の効用と限界 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | ON PROS AND CONS OF SHARING STRUCTURES IN 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 | |||||||
内容記述 | グラフ還元は、記号列への書き換え規則の適用を、記号列のデータ構造表現上での書き換えの実行とみなし、当該データ構造の特徴を積極的に利用する還元形熊である。本稿では、組合せ論理の世界でのグラフ還元という状況において、記号列のデータ構造に殆ど必然的に登場し、かつ、還元過程の重要な鍵を握る共有構造に関する効用と限界を、関数型言語プログラムの組合せ論理表現という事例研究を交えて検討する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Graph reduction, where applications of rewrite rules into strings of symbols are regarded as an execution of rewrite rules in the data structure of the strings, makes good use of the characteristic of its data structure. In this report, in the circumstances of graph reduction applied in the frame of Combinatory Logic, including the case study for analysis of Combinatory Logic representation of a functional language program, we discuss the effects and limitations of sharing structures, which appear almost necessarily in the data strucures of strings and which play an important role in the reduction process. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10485570 | |||||||
書誌情報 |
情報処理学会研究報告プログラミング(PRO) 巻 1989, 号 71(1989-PRO-030), p. 51-59, 発行日 1989-09-08 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |