|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9056
|
| タイトル: | Constraints for Argument Filterings |
| 著者: | Zankl, Harald
Hirokawa, Nao
Middeldorp, Aart |
| 発行日: | 2007 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 4362/2007 |
| 開始ページ: | 579 |
| 終了ページ: | 590 |
| DOI: | 10.1007/978-3-540-69507-3_50 |
| 抄録: | The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and KBO, argument filterings play a key role. In this paper we propose an encoding of argument filterings in propositional logic. By incorporating propositional encodings of simplification orders, the search for suitable argument filterings is turned into a satisfiability problem. Preliminary experimental results show that our logic-based approach is significantly faster than existing implementations. |
| Rights: | This is the author-created version of Springer, Harald Zankl, Nao Hirokawa, and Aart Middeldorp, Lecture Notes in Computer Science, 4362/2007, 2007, 579-590. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-69507-3_50 |
| URI: | http://hdl.handle.net/10119/9056 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 07sofsem.pdf | | 209Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
