Presentation | 1999/7/22 Program Synthesis Based on Searching for Equivalent Transformation Rules Hidekatsu Koike, Kiyoshi Akama, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In problem solving based on equivalent transformation (ET), a procedure is represented by a set of ET rules, which enables us to sove problems correctly and efficiently. There exist some problems that can be solved correctly by the ET paradigm, but cannot be solved by natural logic programs, though they define problems correctly. A theoretical foundation for generating a large class of correct ET rules has been proposed. In this paper we develop a method of searching the class of rules for efficient ET rules. This method lays a foundation of synthesizing correct and efficient programs. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | rule / program synthesis / equivalent transformation / automatic generation |
Paper # | AI99-23 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1999/7/22(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 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Program Synthesis Based on Searching for Equivalent Transformation Rules |
Sub Title (in English) | |
Keyword(1) | rule |
Keyword(2) | program synthesis |
Keyword(3) | equivalent transformation |
Keyword(4) | automatic generation |
1st Author's Name | Hidekatsu Koike |
1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
2nd Author's Name | Kiyoshi Akama |
2nd Author's Affiliation | Center of Information and Multimedia Studies, Hokkaido University |
3rd Author's Name | Eiichi Miyamoto |
3rd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
Date | 1999/7/22 |
Paper # | AI99-23 |
Volume (vol) | vol.99 |
Number (no) | 225 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |