Presentation | 1998/8/6 A Method of Generating Equivalent Transformation Rules from Specifications Hidekatsu Koike, Kiyoshi Akama, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper proposes a new method for synthesis of programs from specifications, using a new computation model, called "Equivalent Transformation model"(ET model). In the ET model, specifications are represented by a set of(extended)definite clause, and the main part of the synthesis of programs is the generation of new equivalent transformation rules from definite clauses. In order to generate rules, a new concept of meta programs is introduced, each of which represents(usually infinite)programs by instantiation. A meta program is said to be transformed equivalently iff all the programs that are obtained from it by instatiation are equivalently transeformed. An ET rule is obtained from each pair of meta programs that are equivalent. Meta programs that are equivalent. Meta programs are transformed in term of meta rules. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | rule / automatic generation / equivalent transformation / specification |
Paper # | KBSE98-8 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 1998/8/6(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 | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Method of Generating Equivalent Transformation Rules from Specifications |
Sub Title (in English) | |
Keyword(1) | rule |
Keyword(2) | automatic generation |
Keyword(3) | equivalent transformation |
Keyword(4) | specification |
1st Author's Name | Hidekatsu Koike |
1st Author's Affiliation | Hokkaido University() |
2nd Author's Name | Kiyoshi Akama |
2nd Author's Affiliation | Hokkaido University |
3rd Author's Name | Eiichi Miyamoto |
3rd Author's Affiliation | Hokkaido University |
Date | 1998/8/6 |
Paper # | KBSE98-8 |
Volume (vol) | vol.98 |
Number (no) | 238 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |