特許
J-GLOBAL ID：200903084087488050
プログラム自動合成装置
発明者：
出願人/特許権者：
代理人 (1件)：
本庄 伸介
公報種別：公開公報
出願番号（国際出願番号）：特願平3-244595
公開番号（公開出願番号）：特開平5-053780
出願日： 1991年08月28日
公開日（公表日）： 1993年03月05日
要約：
【要約】【目的】 類似した入出力例題を持つプログラムから合成に役立つ情報を取り出して仕様としての情報を増やすことにより、与えられた入出力例題仕様のみから目的のプログラムを自動合成する機能を有するプログラム自動合成装置を提供する。【構成】 本発明のプログラム自動合成装置は、与えられた入出力例題仕様から類似プログラムを検索する検索部1と、与えられた入出力例題仕様から制約条件を求め、類似プログラムの制約条件との共通制約を求める仕様解析部3と、類似プログラムをプログラムの典型的な構造を表現した内部構造に変換するプログラム認識部4と、内部構造のうち共通制約に関連した部分を抽出する類似部分抽出部5と、類似した以外の部分を修正してコードを出力するコード生成部6とから構成される。
請求項（抜粋）：
プログラムとこのプログラムの制約条件とがペアで予め格納されているプログラム格納部と、目的プログラムに関し与えられた入出力例題仕様に基づき前記プログラム格納部に格納されているプログラムの中から該目的プログラムに類似する類似プログラムを検索する検索部と、与えられた前記入出力例題仕様から制約条件を求め、前記類似プログラムの制約条件との共通制約を求める仕様解析部と、前記類似プログラムをプログラムの典型的な構造を表現した内部構造に変換するプログラム認識部と、前記内部構造のうち前記共通制約に関連した部分を抽出する類似部分抽出部と、前記目的プログラムのうちで前記プログラム格納部に格納されているプログラムに類似した部分以外の部分を修正してコードを出力するコード生成部とから成ることを特徴とするプログラム自動合成装置。
IPC (2件)：
G06F 9/06 430
, G06F 9/06
