Paper Abstract and Keywords |
Presentation |
2006-10-26 16:15
Example programs generated by GeneSys and proposal of Introduction rule Satoru Kondo, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Program Generation System GeneSys is a method for generating executable programs from specifications described in first-order logic.In this paper, we show some examples known as successful results obtained by program composition are applicable to GeneSys.We also propose a new conversion rule called Introduction, which enables GeneSys to generate programs from a specification that the original system fails. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
program generation / term rewriting system / equational specification / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 106, no. 324, SS2006-46, pp. 37-42, Oct. 2006. |
Paper # |
SS2006-46 |
Date of Issue |
2006-10-19 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
SS KBSE |
Conference Date |
2006-10-26 - 2006-10-27 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Ehime University |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2006-10-SS-KBSE |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Example programs generated by GeneSys and proposal of Introduction rule |
Sub Title (in English) |
|
Keyword(1) |
program generation |
Keyword(2) |
term rewriting system |
Keyword(3) |
equational specification |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Satoru Kondo |
1st Author's Affiliation |
Nagoya University (Nagoya Univ.) |
2nd Author's Name |
Masahiko Sakai |
2nd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
3rd Author's Name |
Naoki Nishida |
3rd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
4th Author's Name |
Toshiki Sakabe |
4th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
5th Author's Name |
Keiichirou Kusakari |
5th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2006-10-26 16:15:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
SS2006-46, KBSE2006-22 |
Volume (vol) |
vol.106 |
Number (no) |
no.324(SS), no.326(KBSE) |
Page |
pp.37-42 |
#Pages |
6 |
Date of Issue |
2006-10-19 (SS, KBSE) |
|