講演抄録/キーワード |
講演名 |
2006-10-26 16:15
GeneSysによるプログラム生成例とIntroduction規則の追加 ○近藤 悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗(名大) |
抄録 |
(和) |
プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,よく知られたいくつかのプログラム合成例にGeneSysが適用できることを示す.また,GeneSysでは実行可能なプログラムを生成できない仕様の一例を挙げ,等式を追加する新たな変換規則Introductionによりこの仕様からのプログラム生成が可能になることを示す. |
(英) |
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. |
キーワード |
(和) |
プログラム生成 / 項書換え系 / 等式仕様 / / / / / |
(英) |
program generation / term rewriting system / equational specification / / / / / |
文献情報 |
信学技報, vol. 106, no. 324, SS2006-46, pp. 37-42, 2006年10月. |
資料番号 |
SS2006-46 |
発行日 |
2006-10-19 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|