|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/10608
|
| タイトル: | Uncurrying for Termination and Complexity |
| 著者: | Hirokawa, Nao
Middeldorp, Aart
Zankl, Harald |
| キーワード: | Term Rewriting
Termination
Complexity
Uncurrying |
| 発行日: | 2012-04-25 |
| 出版者: | Springer |
| 誌名: | Journal of Automated Reasoning |
| 巻: | 50 |
| 号: | 3 |
| 開始ページ: | 279 |
| 終了ページ: | 315 |
| DOI: | 10.1007/s10817-012-9248-3 |
| 抄録: | First-order applicative rewrite systems provide a natural framework for modeling higher-order aspects. In this article we present a transformation from untyped applicative term rewrite systems to functional term rewrite systems that preserves and reflects termination. Our transformation is less restrictive than other approaches. In particular, head variables in right-hand sides of rewrite rules can be handled. To further increase the applicability of our transformation, we study the method for innermost rewriting and derivational complexity, and present a version for dependency pairs. |
| Rights: | This is the author-created version of Springer, Nao Hirokawa, Aart Middeldorp, and Harald Zankl, Journal of Automated Reasoning, 50(3), 2012, 279-315. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/s10817-012-9248-3 |
| URI: | http://hdl.handle.net/10119/10608 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 17999.pdf | | 534Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
