| Presentation | 1993/12/15 Commutative law based transformation for improning efficiency of term rewriting systems Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper,we propose a new method of TRS transformation based on commutative law.The basic operation of this transformation is to exchange arguments of commutative functions. We first show by example that the basic operation,though very simple,can improve efficiency of TRS.We then present an algorithm of the strategy for applying the basic operation to a given TRS. Finally,we evaluate our algorithm from the view point of the needed reduction. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | program transformation / term rewriting systems / commutative law / simplification ordering / needed raduction |
| Paper # | COMP93-64 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1993/12/15(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Commutative law based transformation for improning efficiency of term rewriting systems |
| Sub Title (in English) | |
| Keyword(1) | program transformation |
| Keyword(2) | term rewriting systems |
| Keyword(3) | commutative law |
| Keyword(4) | simplification ordering |
| Keyword(5) | needed raduction |
| 1st Author's Name | Nobuo Kawaguchi |
| 1st Author's Affiliation | Department of Information Engineering,Faculty of Engineering, Nagoya University() |
| 2nd Author's Name | Toshiki Sakabe |
| 2nd Author's Affiliation | Department of Information Engineering,Faculty of Engineering, Nagoya University |
| 3rd Author's Name | Yasuyoshi Inagaki |
| 3rd Author's Affiliation | Department of Information Engineering,Faculty of Engineering, Nagoya University |
| Date | 1993/12/15 |
| Paper # | COMP93-64 |
| Volume (vol) | vol.93 |
| Number (no) | 379 |
| Page | pp.pp.- |
| #Pages | 9 |
| Date of Issue | |