|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9054
|
| タイトル: | Complexity, Graphs, and the Dependency Pair Method |
| 著者: | Hirokawa, Nao
Moser, Georg |
| 発行日: | 2008 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 5330/2008 |
| 開始ページ: | 652 |
| 終了ページ: | 666 |
| DOI: | 10.1007/978-3-540-89439-1_45 |
| 抄録: | This paper builds on recent efforts (Hirokawa and Moser, 2008) to exploit the dependency pair method for verifying feasible, i.e., polynomial runtime complexities of term rewrite systems automatically. We extend our earlier results by revisiting dependency graphs in the context of complexity analysis. The obtained new results are easy to implement and considerably extend the analytic power of our existing methods. The gain in power is even more significant when compared to existing methods that directly, i.e., without the use of transformations, induce feasible runtime complexities. We provide ample numerical data for assessing the viability of the method. |
| Rights: | This is the author-created version of Springer, Nao Hirokawa and Georg Moser, Lecture Notes in Computer Science, 5330/2008, 2008, 652-666. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-89439-1_45 |
| URI: | http://hdl.handle.net/10119/9054 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 08lpar2.pdf | | 330Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
