|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12801
|
| タイトル: | Automated Complexity Analysis Based on Context-Sensitive Rewriting |
| 著者: | Hirokawa, Nao
Moser, Georg |
| キーワード: | Term Rewriting
Complexity Analysis
Automation
Context-Sensitive Rewriting |
| 発行日: | 2014-07 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 8560 |
| 開始ページ: | 257 |
| 終了ページ: | 271 |
| DOI: | 10.1007/978-3-319-08918-8_18 |
| 抄録: | In this paper we present a simple technique for analysing the runtime complexity of rewrite systems. In complexity analysis many techniques are based on reduction orders. We show how the monotonicity condition for orders can be weakened by using the notion of context-sensitive rewriting. The presented technique is very easy to implement, even in a modular setting, and has been integrated in the Tyrolean Complexity Tool. We provide ample experimental data for assessing the viability of our method. |
| Rights: | This is the author-created version of Springer, Nao Hirokawa and Georg Moser, Lecture Notes in Computer Science, 8560, 2014, 257-271. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-319-08918-8_18 |
| URI: | http://hdl.handle.net/10119/12801 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20785.pdf | | 349Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
