Paper Abstract and Keywords |
Presentation |
2005-06-24 11:45
Dependency Graph Method for Proving Termination of Narrowing Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Term rewriting systems with extra variables (called EV-TRSs) has an ability to represent inverse-computation programs, and the rewrite sequences of EV-TRSs are simulated as narrowing sequences starting from ground terms. In this paper, we show that the ordinary dependency graph method for proving termination of TRSs works also for constructor EV-TRSs and so on, to prove termination of narrowing which starts from ground terms, by imposing argument filterings to eliminate all extra variables in every dependency pairs. We also give an additional condition to prove termination of the ordinary narrowing. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
term rewriting system / extra variable / dependency pair / argument filtering / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 105, no. 129, SS2005-23, pp. 31-36, June 2005. |
Paper # |
SS2005-23 |
Date of Issue |
2005-06-17 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
SS |
Conference Date |
2005-06-23 - 2005-06-24 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
general |
Paper Information |
Registration To |
SS |
Conference Code |
2005-06-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Dependency Graph Method for Proving Termination of Narrowing |
Sub Title (in English) |
|
Keyword(1) |
term rewriting system |
Keyword(2) |
extra variable |
Keyword(3) |
dependency pair |
Keyword(4) |
argument filtering |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Koichi Miura |
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.) |
4th Author's Name |
Keiichirou Kusakari |
4th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
5th Author's Name |
Toshiki Sakabe |
5th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2005-06-24 11:45:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2005-23 |
Volume (vol) |
vol.105 |
Number (no) |
no.129 |
Page |
pp.31-36 |
#Pages |
6 |
Date of Issue |
2005-06-17 (SS) |