WEKO3
アイテム
Higher-Order Path Orders Based on Computability
http://hdl.handle.net/2237/14973
http://hdl.handle.net/2237/149738ca3a82a-808c-4314-b27b-11f8e31bb792
名前 / ファイル | ライセンス | アクション |
---|---|---|
400.pdf (208.9 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-06-29 | |||||
タイトル | ||||||
タイトル | Higher-Order Path Orders Based on Computability | |||||
言語 | en | |||||
著者 |
KUSAKARI, Keiichirou
× KUSAKARI, Keiichirou |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | Copyright (C) 2004 IEICE | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | simply-typed term rewriting system | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | termination | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | path order | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | computability | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | dependency pair | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | argument filtering method | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Simply-typed term rewriting systems (STRSs) are an extension of term rewriting systems. STRSs can be naturally handle higher order functions, which are widely used in existing functional programming languages. In this paper we design recursive and lexicographic path orders, which can efficiently prove the termination of STRSs. Moreover we discuss an application to the dependency pair and the argument filtering methods, which are very effective and efficient support methods for proving termination. | |||||
言語 | en | |||||
出版者 | ||||||
出版者 | Institute of Electronics, Information and Communication Engineers | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 0916-8532 | |||||
書誌情報 |
en : IEICE transactions on information and systems 巻 E87-D, 号 2, p. 352-359, 発行日 2004-02-01 |
|||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/14973 | |||||
識別子タイプ | HDL | |||||
URI | ||||||
識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
識別子タイプ | URI |