WEKO3
アイテム
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems
http://hdl.handle.net/2237/21158
http://hdl.handle.net/2237/21158cd2b89c4-1521-46dc-8952-9fd38b537a0a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
e92-d_10_2007.pdf (279.7 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-29 | |||||
| タイトル | ||||||
| タイトル | Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems | |||||
| 言語 | en | |||||
| 著者 |
KUSAKARI, Keiichirou
× KUSAKARI, Keiichirou× ISOGAI, Yasuo× SAKAI, Masahiko× BLANQUI, Frédéric |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | ja | |||||
| 権利情報 | (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | higher-order rewrite system | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | termination | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | static dependency pair | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | plain function-passing | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | strong computability | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | subterm criterion | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Higher-order rewrite systems (HRSs) and simply-typed term rewriting systems (STRSs) are computational models of functional programs. We recently proposed an extremely powerful method, the static dependency pair method, which is based on the notion of strong computability, in order to prove termination in STRSs. In this paper, we extend the method to HRSs. Since HRSs include λ-abstraction but STRSs do not, we restructure the static dependency pair method to allow λ-abstraction, and show that the static dependency pair method also works well on HRSs without new restrictions. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://search.ieice.org/ | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0916-8532 | |||||
| 書誌情報 |
en : IEICE transactions on information and systems 巻 E92D, 号 2, p. 2007-2015, 発行日 2009-10 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | https://search.ieice.org/ | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21158 | |||||
| 識別子タイプ | HDL | |||||
