|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9053
|
| タイトル: | Uncurrying for Termination |
| 著者: | Hirokawa, Nao
Middeldorp, Aart
Zankl, Harald |
| 発行日: | 2008 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 5330/2008 |
| 開始ページ: | 667 |
| 終了ページ: | 681 |
| DOI: | 10.1007/978-3-540-89439-1_46 |
| 抄録: | First-order applicative term rewrite systems provide a natural framework for modeling higher-order aspects. In this paper 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 present a version for dependency pairs. |
| Rights: | This is the author-created version of Springer, Nao Hirokawa, Aart Middeldorp, and Harald Zankl, Lecture Notes in Computer Science, 5330/2008, 2008, 667-681. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-89439-1_46 |
| URI: | http://hdl.handle.net/10119/9053 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 08lpar1.pdf | | 218Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
