組合せ論理による関数型言語の処理へのグラフ還元の寄与

• Item type: SIG Technical Reports(1)
• 公開日: 1990-02-09
• タイトル: 組合せ論理による関数型言語の処理へのグラフ還元の寄与
• タイトル / 言語: en
• タイトル: Contribution of Graph Reduction in case of Processing Functional Languages via Combinatory Logic
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所情報アーキテクチャ部言語システム研究室
• 著者所属(英): en
• 著者所属(英): Computer Language Section, Computer Science Division, ELECTROTECHNICAL LABORATORY
• 著者名: 杉藤, 芳雄
• 著者名(英): Yoshio, Sugito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 関数型言語の一処理方式として、その組合せ論理表現形を組合せ論理に関する還元により評価実行するものがある。その際、共有構造の有効利用等の面から注目される“グラフ還元”と称する還元形態がどの程度まで有効に機能するかを、圏論的枠組み(即ち、圏的組合せ論理)の場合を含めて検討する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As one of the methods of processing functional language, there exists the way which evaluates and executes its corresponding combinatory logic codes by means of combinatory logic's reduction. We investigate how effectively "graph reduction", which has the possibility of enjoying the merits of sharing structures, could perform in case of using the method, and also in case of using the framework of category theory( that is, categorical combinatory logic).
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1990, 号 11(1989-PRO-024), p. 59-66, 発行日 1990-02-09
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会