2009 Fiscal Year Final Research Report
Automated Complexity Analysis for Term Rewriting
| Project/Area Number |
20800022
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (Start-up)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
HIROKAWA Nao Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教 (50467122)
|
|---|
| Research Collaborator |
MOSER Georg University of Innsbruck, Institute for Computer Science, Research Assistant
|
|---|
| Project Period (FY) |
2008 – 2009
|
| Keywords | 項書き換え / 計算モデル / 計算量 |
|---|
| Research Abstract |
探索やソートアルゴリズムを開発したとき、「入力の大きさに対しどれくらいの速度(ステップ数)で動作するか」という自然な疑問が生じる。現在に至るまで時間的計算量は、プログラムごとに手作業で解析するものと認識されていた。本研究では、関数型プログラムの計算モデルである項書き換え系に対して、解析を自動化する強力な理論を構築した。さらにそれに基づく計算量自動解析ツールを実装した。既存手法との比較実験を行った結果、解析精度の劇的な向上が確認された。
|
-
-
-
-
[Presentation] Complexity, Graphs, and the Dependency Pair Method2008
Author(s)
Nao Hirokawa, Georg Moser
Organizer
In Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Sydney, Australia, Lecture Notes in Computer Science
Place of Presentation
Sydney, Australia
Year and Date
2008-11-27
-
-
