講演名 | 2001/1/15 文脈依存書き換えの拡張 中村 正樹, 二木 厚吉, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 文脈依存書き換え(csr)とは, 関数記号の各引数に対して書き換え可能かどうかを定義することで形式化される制限付き書き換え関係である.現行のcsrにおいては, 引数に対する書き換え可能性の指定は, 常に可能か常に不可能かのどちらかしか定義できない.本論分で提案する遅延評価機能を伴った文脈依存書き換え(ocsr)は, 引数に対して必要に応じて書き換え可能にもなり, また別の場面では書き換え不可能にもなる新たな属性を付け加えた.これにより従来のcsrではうまく表現できなかった柔軟性のある制限が表現でき, より有用な書き換え関係を得ることができる. |
抄録(英) | Context-sensitive rewriting is a restriction of rewriting formalized by a replacement map on function symbols. In the current context-sensitive rewriting we must choose each argument of a function symbol whether to be active or not. If an argument was not active once, the argument is not active for any position, for any term. However there is a case in which for an argument of a function symbol we want it to be active at a position and not to be at another position of a term. In this paper we propose an improvement of context-sensitive rewriting, called "the on-demand context-sensitive rewriting", in which we can choose an argument to be "on-demand active". Thanks to the introduction of "on-demand active" argument, we obtain more flexible and useful context-sensitive rewriting. |
キーワード(和) | 項書き換え系 / 文脈依存書き換え / 頭部正規形 |
キーワード(英) | Term rewriting system / Context-sensitive rewriting / Root-stable form |
資料番号 | SS2000-33 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2001/1/15(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | ENG |
タイトル(和) | 文脈依存書き換えの拡張 |
サブタイトル(和) | |
タイトル(英) | The on-demand context-sensitive rewriting |
サブタイトル(和) | |
キーワード(1)(和/英) | 項書き換え系 / Term rewriting system |
キーワード(2)(和/英) | 文脈依存書き換え / Context-sensitive rewriting |
キーワード(3)(和/英) | 頭部正規形 / Root-stable form |
第 1 著者 氏名(和/英) | 中村 正樹 / Masaki Nakamura |
第 1 著者 所属(和/英) | 北陸先端科学技術大学院大学 情報科学研究科 School of Information Science, JAIST |
第 2 著者 氏名(和/英) | 二木 厚吉 / Kokichi Futatsugi |
第 2 著者 所属(和/英) | 北陸先端科学技術大学院大学 情報科学研究科 School of Information Science, JAIST |
発表年月日 | 2001/1/15 |
資料番号 | SS2000-33 |
巻番号(vol) | vol.100 |
号番号(no) | 569 |
ページ範囲 | pp.- |
ページ数 | 7 |
発行日 |