Nagoya Termination Tool
Authors: Akihisa Yamada, Keiichirou Kusakari and Toshiki Sakabe
Paper Information
| Title: | Nagoya Termination Tool |
| Authors: | Akihisa Yamada, Keiichirou Kusakari and Toshiki Sakabe |
| Proceedings: | RTA-TLCA 2014 LNCS Proceedings |
| Editor: | Gilles Dowek |
| Keywords: | Termination, Term rewriting, The dependency pair framework, System description |
| Abstract: | ABSTRACT. This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination analyzer for term rewrite systems. The tool is special for its power due to the implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the deep cooperation with SMT solvers. We present some new ideas that contribute to the efficiency and the power of the tool. |
| Pages: | 10 |
| Talk: | Jul 15 12:45 |
| Paper: |  |