| 講演名 | 2003/3/11 変換パターンに基づく高階プログラム変換 鶴川 敏孝, 草刈 圭一朗, 外山 芳人, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 変換パターンに基づくプログラム変換では,変換パターンに対する照合問題の代入解を求めることにより変換プログラムを得る。これまでに提案されている照合アルゴリズムは,照合問題に対して2階までの全ての代入解を求めている。しかし,プログラム変換の枠組みで考えた場合,全ての代入解は必ずしも必要ではない。本稿では,冗長な代入解を計算しないことで照合アルゴリズムを効率化する。また,従来の照合アルゴリズムは高階プログラムに対する有効性が示されていないので,効率化した照合アルゴリズムが高階プログラムに対しても有効であることを具体例で示す。 |
| 抄録(英) | In the program transformation based on patterns, we can get a new program by computing a substitution of matching problem for the transformation patterns. So far the matching algorithm computes all the second order substitutions of a matching problem. However, it is not necessary to compute all the solutions in the program transformation. in this paper, we improve their algorithm without computing redundant substitutions. Furthermore, we show that our improved algorithm can be effectively applied to higher order program transformations. |
| キーワード(和) | 変換パターン / 高階プログラム変換 / 照合 |
| キーワード(英) | Transformation Pattern / Higher Order Program Transformation / Matching |
| 資料番号 | COMP2002-83 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2003/3/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 変換パターンに基づく高階プログラム変換 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 変換パターン / Transformation Pattern |
| キーワード(2)（和/英） | 高階プログラム変換 / Higher Order Program Transformation |
| キーワード(3)（和/英） | 照合 / Matching |
| 第 1 著者 氏名（和/英） | 鶴川 敏孝 / Toshitaka TSURUKAWA |
| 第 1 著者 所属（和/英） | 東北大学電気通信研究所 Research Institute of Electrical Communication, Tohoku University |
| 第 2 著者 氏名（和/英） | 草刈 圭一朗 / Keiichirou KUSAKARI |
| 第 2 著者 所属（和/英） | 東北大学電気通信研究所 Research Institute of Electrical Communication, Tohoku University |
| 第 3 著者 氏名（和/英） | 外山 芳人 / Yoshihito TOYAMA |
| 第 3 著者 所属（和/英） | 東北大学電気通信研究所 Research Institute of Electrical Communication, Tohoku University |
| 発表年月日 | 2003/3/11 |
| 資料番号 | COMP2002-83 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 733 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |