| 講演名 | 1997/9/18 順序ソート項書換えの効率のよい実現に関する一考察 緒方 和博, 二木 厚吉, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | スタックの仕様を例として用い,順序ソート項書換えがエラーおよび例外を適切に処理できることを示し,項書換え抽象機械TRAMでの順序ソートの扱い方について述べ,問題点をあげるとともに,解決の糸口を探る. TRAMでは,書換え規則に変数のとり得るソートに応じて演算子を一意に決める処理(非あいまい化)をコンパイル時に施している.これにより,場合により相当の数の規則が生成されることがある.実行時性能を高めようとすると非あいまい化の処理は必須であるが,非あいまい化の処理を必要としない実現方法についても述べる. |
| 抄録(英) | Some specifications of stacks are first used to show order-sorted term rewriting to handle errors and exceptions appropriately. Next, we describe how to process order-sorts in TRAM and point out a problem of the TRAM's method. Then, we find some clues of how to solve the problem. TRAM definitely decides which declaration is used for each of operations in the rules according to sorts of variables in the rules, i.e. disambiguates the rules, when rewrite rules are compiled. The disambiguation may lead to a tremendous number of disambiguated rewrite rules. Although the disambiguation might be indispensable for fast order-sorted rewriting, we describe a reasonable implementation method of order-sorted rewriting without the disambiguation. |
| キーワード(和) | 順序ソート項書換え / TRAM / ARM / CafeOBJ / OBJ3 / OBJ2 |
| キーワード(英) | order-sorted term rewriting / TRAM / ARM / CafeOBJ / OBJ3 / OBJ2 |
| 資料番号 | SS97-21 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1997/9/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 順序ソート項書換えの効率のよい実現に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Consideration on Efficient Implementations of Order-sorted Term Rewriting |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 順序ソート項書換え / order-sorted term rewriting |
| キーワード(2)（和/英） | TRAM / TRAM |
| キーワード(3)（和/英） | ARM / ARM |
| キーワード(4)（和/英） | CafeOBJ / CafeOBJ |
| キーワード(5)（和/英） | OBJ3 / OBJ3 |
| キーワード(6)（和/英） | OBJ2 / OBJ2 |
| 第 1 著者 氏名（和/英） | 緒方 和博 / Kazuhiro Ogata |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 Graduate School of Information Science Japan Advanced Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 二木 厚吉 / Kokichi Futatsugi |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 Graduate School of Information Science Japan Advanced Institute of Science and Technology |
| 発表年月日 | 1997/9/18 |
| 資料番号 | SS97-21 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 260 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |