WEKO3
アイテム
順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について
http://hdl.handle.net/2237/21154
http://hdl.handle.net/2237/2115428803153-862a-46c5-83c5-1bd47dd7d38d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110008675938.pdf (766.5 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-29 | |||||
| タイトル | ||||||
| タイトル | 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing | |||||
| 言語 | en | |||||
| 著者 |
服部, 達哉
× 服部, 達哉× 酒井, 正彦× 西田, 直樹× 草刈, 圭一朗× 坂部, 俊樹× HATTORI, Tatsuya× SAKAI, Masahiko× NISHIDA, Naoki× KUSAKARI, Keiichirou× SAKABE, Toshiki |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | ja | |||||
| 権利情報 | (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 停止性証明ツール | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 完全性 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 依存対 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | termination tool | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | completeness | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | dependency pair | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 順方向ナローイングに基づく非停止性証明解析はAProVE等の停止性証明ツールに採用されている.しかしながら,それが完全である項書換え系のクラス,すなわち,非停止性をもつならば順方向ナローイングに基づく解析でそれが証明可能となるクラスは知られていない.本論文では,依存対が右線形右シャローである項書換え系においては,順方向ナローイングに基づく解析が完全であることを示す. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Detecting non-termination of term rewriting systems based on forward narrowing is used in termination tools such as AProVE. However, there is no known class of term rewriting systems for which the detection method is complete, that is, non-termination is always proved by the method. This paper proves that the detection method is complete for the term rewriting systems whose dependency pairs are right-linear and right-shallow. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110008675938 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0913-5685 | |||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 巻 110, 号 336, p. 31-36, 発行日 2010-12 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://ci.nii.ac.jp/naid/110008675938 | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21154 | |||||
| 識別子タイプ | HDL | |||||
