Presentation | 2016-01-26 Transforming Constrained Dependency Pairs by Narrowing Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The dependency pair framework, a method for proving termination of term rewriting systems, has been extended for constrained term rewriting systems which are extensions of term rewriting systems by allowing rules to have guard constraints. In this paper, by removing one of the side conditions, we improve a narrowing-based transformation of constrained dependency pairs. More precisely, we show that the transformation is sound even if a dependency pair to be converted can form a self-chain such that there is no intermediate derivation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | constrained term rewriting systems / dependency pair framework / termination |
Paper # | MSS2015-57,SS2015-66 |
Date of Issue | 2016-01-18 (MSS, SS) |
Conference Information | |
Committee | SS / MSS |
---|---|
Conference Date | 2016/1/25(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Shiinoki-Geihin-Kan |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Shoji Yuen(Nagoya Univ.) / Satoshi Yamane(Kanazawa Univ.) |
Vice Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
Secretary | Kazuhiro Ogata(Tokyo Inst. of Tech.) / Morikazu Nakamura(Waseda Univ.) |
Assistant | Yoshiki Higo(Osaka Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Transforming Constrained Dependency Pairs by Narrowing |
Sub Title (in English) | |
Keyword(1) | constrained term rewriting systems |
Keyword(2) | dependency pair framework |
Keyword(3) | termination |
1st Author's Name | Tomohiro Sasano |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Naoki Nishida |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
3rd Author's Name | Masahiko Sakai |
3rd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2016-01-26 |
Paper # | MSS2015-57,SS2015-66 |
Volume (vol) | vol.115 |
Number (no) | MSS-419,SS-420 |
Page | pp.pp.123-128(MSS), pp.123-128(SS), |
#Pages | 6 |
Date of Issue | 2016-01-18 (MSS, SS) |