| 講演名 | 1995/7/14 関数型戦略 : 左非整合な項書換え系の拡張 酒井 正彦, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 外山らが定義した左非整合な項書換え系のクラス[9]を拡張する.書換え規則の左辺を順番に選び,トップダウンかつ左から右へ遅延的パターンマッチングを行なうことによる書換え戦略を関数型戦略と呼ぶとき,拡張されたクラス(LI)に対して,関数型戦略が正規化戦略であることを示す.また,その戦略に基づく書換え手続きを示す. |
| 抄録(英) | This paper extends left-incompatible term rewriting systems defined by Toyama et al. [9]. It is shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy which finds index by some rule selection method and top-down and left-to-right laze pattern matching method. The reduction procedure based on the strategy is also shown. |
| キーワード(和) | 項書換え系 / 正規化戦略 / 遅延評価 |
| キーワード(英) | term rewriting systems / normalizing strategy / lazy evaluation |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1995/7/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 関数型戦略 : 左非整合な項書換え系の拡張 |
| サブタイトル（和） | |
| タイトル（英） | The Functional Strategy : The Extended Left-incompatible Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 項書換え系 / term rewriting systems |
| キーワード(2)（和/英） | 正規化戦略 / normalizing strategy |
| キーワード(3)（和/英） | 遅延評価 / lazy evaluation |
| 第 1 著者 氏名（和/英） | 酒井 正彦 / Masahiko Sakai |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku |
| 発表年月日 | 1995/7/14 |
| 資料番号 | |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 144 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |