Presentation | 1997/1/24 An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Simplification orderings, like the recursive path ordering and the improved recursive decomposition ordering, are widely used for proving the termination property of term rewriting systems. The improved recursive decomposition ordering is among the most powerful simplification orderings. Recently J.-P. Jouannaud and A. Rubio extended the recursive path ordering to higher-order rewrite systems by introducing an ordering on type structure. In this paper we extend the improved recursive decomposition ordering for proving termination of higher-order rewrite systems. The key idea of our ordering is a new concept of pseudo-terminal occurrences. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | higher-order rewrite system / termination / improved recursive decomposition ordering / Pseudo-terminal occurrence / type / simplification ordering |
Paper # | COMP96-73 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 1997/1/24(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Theoretical Foundations of Computing (COMP) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems |
Sub Title (in English) | |
Keyword(1) | higher-order rewrite system |
Keyword(2) | termination |
Keyword(3) | improved recursive decomposition ordering |
Keyword(4) | Pseudo-terminal occurrence |
Keyword(5) | type |
Keyword(6) | simplification ordering |
1st Author's Name | Munehiro Iwami |
1st Author's Affiliation | School of Information Science, JAIST() |
2nd Author's Name | Masahiko Sakai |
2nd Author's Affiliation | School of Information Science, JAIST |
3rd Author's Name | Yoshihito Toyama |
3rd Author's Affiliation | School of Information Science, JAIST |
Date | 1997/1/24 |
Paper # | COMP96-73 |
Volume (vol) | vol.96 |
Number (no) | 488 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |