|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9045
|
| タイトル: | Automating the dependency pair method |
| 著者: | Hirokawa, Nao
Middeldorp, Aart |
| キーワード: | Term rewriting
Termination
Dependency pair method |
| 発行日: | 2005-06 |
| 出版者: | Elsevier |
| 誌名: | Information and Computation |
| 巻: | 199 |
| 号: | 1-2 |
| 開始ページ: | 172 |
| 終了ページ: | 199 |
| DOI: | 10.1016/j.ic.2004.10.004 |
| 抄録: | Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area in the past few years. The dependency pair method of Arts and Giesl is one of the most popular such methods. However, there are several obstacles that hamper its automation. In this paper we present new ideas to overcome these obstacles. We provide ample numerical data supporting our ideas. |
| Rights: | NOTICE: This is the author's version of a work accepted for publication by Elsevier. Nao Hirokawa and Aart Middeldorp, Information and Computation, 199(1-2), 2005, 172-199, http://dx.doi.org/10.1016/j.ic.2004.10.004 |
| URI: | http://hdl.handle.net/10119/9045 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 05ic.pdf | | 242Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
