| Presentation | 2015-03-10 A Heuristic to Solve Inverse Unfolding Problem for Functions Dealing with Tree Structure Data Tomofumi KATO, Masanori NAGASHIMA, Masahiko SAKAI, Naoki NISHIDA, Toshiki SAKABE, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Unfold/Fold transformations have been widely used for program transformation, theorem proving, and so on. Unfold and Fold are not in the inverse relation of each other, and a transformational result of Unfold is generally not restorable by Fold, and vice versa. Therefore, the inverse Unfolding problem make sense and a heuristic solving for it have been proposed. The method, however, only covers the inverse Unfolding problem for functions with linear data structures (e.g. natural numbers, lists). This paper extends the tagging method used in the heuristic to functions with non-linear data structures (e.g. binary trees). |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Unfold/Fold transformation / term rewriting system |
| Paper # | SS2014-69 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2015/3/2(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Heuristic to Solve Inverse Unfolding Problem for Functions Dealing with Tree Structure Data |
| Sub Title (in English) | |
| Keyword(1) | Unfold/Fold transformation |
| Keyword(2) | term rewriting system |
| 1st Author's Name | Tomofumi KATO |
| 1st Author's Affiliation | Graduate School of Information Science, Nagoya University() |
| 2nd Author's Name | Masanori NAGASHIMA |
| 2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 3rd Author's Name | Masahiko SAKAI |
| 3rd Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 4th Author's Name | Naoki NISHIDA |
| 4th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 5th Author's Name | Toshiki SAKABE |
| 5th Author's Affiliation | Graduate School of Information Science, Nagoya University |
| Date | 2015-03-10 |
| Paper # | SS2014-69 |
| Volume (vol) | vol.114 |
| Number (no) | 510 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |