講演抄録/キーワード |
講演名 |
2007-12-17 13:00
メタ計算に基づくプログラム生成実験システム ○西田好孝・赤間 清(北大)・小池英勝(札幌学院大) SS2007-43 |
抄録 |
(和) |
本研究では,与えられた仕様からそれを満足させる高性能なプログラムを自動的
に生成させる事を考える.ここで,入力となる仕様は確定節の集合とし,出
力となるプログラムはET プログラムとする.我々は,メタ計算に基づいたプロ
グラム生成システムを試作し,様々なプログラムの生成実験を行い,その結果
と生成されるまでの過程を観察する事により,本方法の有効性を示す. |
(英) |
The program generation method described in this paper can be used to construct an efficient ET program that satisfies a given specification. We assume the input specification is a set of definite clauses. We have constructed an experimental program-generation system based on meta-computation and performed experiments for several program-generation problems. We have also discussed the advantages of this method by observing experimental results. |
キーワード |
(和) |
等価変換(ET) / 確定節 / メタ計算 / 搾り出し法 / プログラム生成 / / / |
(英) |
Equivalent Transformation / Definite Clauses / Meta-computation / Squeeze Method / Program Generation / / / |
文献情報 |
信学技報, vol. 107, no. 392, SS2007-43, pp. 31-36, 2007年12月. |
資料番号 |
SS2007-43 |
発行日 |
2007-12-10 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2007-43 |