JPH0553780A - プログラム自動合成装置 - Google Patents
プログラム自動合成装置Info
- Publication number
- JPH0553780A JPH0553780A JP3244595A JP24459591A JPH0553780A JP H0553780 A JPH0553780 A JP H0553780A JP 3244595 A JP3244595 A JP 3244595A JP 24459591 A JP24459591 A JP 24459591A JP H0553780 A JPH0553780 A JP H0553780A
- Authority
- JP
- Japan
- Prior art keywords
- program
- similar
- input
- constraint
- output
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
Abstract
(57)【要約】
【目的】 類似した入出力例題を持つプログラムから合
成に役立つ情報を取り出して仕様としての情報を増やす
ことにより、与えられた入出力例題仕様のみから目的の
プログラムを自動合成する機能を有するプログラム自動
合成装置を提供する。 【構成】 本発明のプログラム自動合成装置は、与えら
れた入出力例題仕様から類似プログラムを検索する検索
部１と、与えられた入出力例題仕様から制約条件を求
め、類似プログラムの制約条件との共通制約を求める仕
様解析部３と、類似プログラムをプログラムの典型的な
構造を表現した内部構造に変換するプログラム認識部４
と、内部構造のうち共通制約に関連した部分を抽出する
類似部分抽出部５と、類似した以外の部分を修正してコ
ードを出力するコード生成部６とから構成される。
成に役立つ情報を取り出して仕様としての情報を増やす
ことにより、与えられた入出力例題仕様のみから目的の
プログラムを自動合成する機能を有するプログラム自動
合成装置を提供する。 【構成】 本発明のプログラム自動合成装置は、与えら
れた入出力例題仕様から類似プログラムを検索する検索
部１と、与えられた入出力例題仕様から制約条件を求
め、類似プログラムの制約条件との共通制約を求める仕
様解析部３と、類似プログラムをプログラムの典型的な
構造を表現した内部構造に変換するプログラム認識部４
と、内部構造のうち共通制約に関連した部分を抽出する
類似部分抽出部５と、類似した以外の部分を修正してコ
ードを出力するコード生成部６とから構成される。
Description
【０００１】
【産業上の利用分野】本発明はプログラム自動合成装置
に関する。
に関する。
【０００２】
【従来の技術】近年必要とされるソフトウェアの量が増
大し、それに伴ってプログラミングの作業量も増えてい
る。プログラミングの作業は人間にとって負担の大きな
仕事であり、またプログラミングを行なうひとによって
出来不出来があり、プログラムの品質も一定しない。こ
れらの問題点を解決するための方法の一つとして、プロ
グラムが本来目的とすることを簡単に記述した仕様を与
えることによって要求をみたすプログラムを自動的に合
成する「プログラム合成」技術がある。
大し、それに伴ってプログラミングの作業量も増えてい
る。プログラミングの作業は人間にとって負担の大きな
仕事であり、またプログラミングを行なうひとによって
出来不出来があり、プログラムの品質も一定しない。こ
れらの問題点を解決するための方法の一つとして、プロ
グラムが本来目的とすることを簡単に記述した仕様を与
えることによって要求をみたすプログラムを自動的に合
成する「プログラム合成」技術がある。
【０００３】プログラム合成手法を考える際に、最も重
要なのは仕様をどのような形で与えるかという問題であ
る。従来、仕様の与え方として、我々の用いている自然
言語や、プログラムの意味をフォーマルに記述した論理
式等が考えられてきた。なかでも、仕様として入出力例
題を与える方法は最も人間の直観に合った方法だと考え
られている。これは、入出力例題だけを与えれば仕様を
記述することに注意を払わなくてもよいので、人間がプ
ログラムを明確に表現する方法としては自然で容易であ
り、有望な方法である。入出力例題とは、例えばＰｒｏ
ｌｏｇの表記で書けば、 ｐ（［］，［］，［］）． ｐ（［］，［ａ］，［ａ］）． ｐ（［ａ］，［ｂ］，［ａ，ｂ］）． ｐ（［ａ，ｂ］，［ｃ］，［ａ，ｂ，ｃ］）． のような形をしたものである。これは２つのリストを結
合する例であるが、「２つのリストを結合するプログラ
ム」を作成するよりは、このような入出力例題を与える
方が人間にとってはるかに記述しやすい。
要なのは仕様をどのような形で与えるかという問題であ
る。従来、仕様の与え方として、我々の用いている自然
言語や、プログラムの意味をフォーマルに記述した論理
式等が考えられてきた。なかでも、仕様として入出力例
題を与える方法は最も人間の直観に合った方法だと考え
られている。これは、入出力例題だけを与えれば仕様を
記述することに注意を払わなくてもよいので、人間がプ
ログラムを明確に表現する方法としては自然で容易であ
り、有望な方法である。入出力例題とは、例えばＰｒｏ
ｌｏｇの表記で書けば、 ｐ（［］，［］，［］）． ｐ（［］，［ａ］，［ａ］）． ｐ（［ａ］，［ｂ］，［ａ，ｂ］）． ｐ（［ａ，ｂ］，［ｃ］，［ａ，ｂ，ｃ］）． のような形をしたものである。これは２つのリストを結
合する例であるが、「２つのリストを結合するプログラ
ム」を作成するよりは、このような入出力例題を与える
方が人間にとってはるかに記述しやすい。
【０００４】従来のプログラム自動合成装置は、一例と
して図３のブロック図に示すように、類似プログラムを
利用しない形態になっていた。すなわち、仕様解析部７
において与えられた入出力例題仕様の特徴を抽出し、コ
ード生成部１４は、これをキーにして検索したプログラ
ムテンプレートを用いることにより、目的のプログラム
を合成する。コード生成部においては帰納推論を用いる
方法が一般的である。
して図３のブロック図に示すように、類似プログラムを
利用しない形態になっていた。すなわち、仕様解析部７
において与えられた入出力例題仕様の特徴を抽出し、コ
ード生成部１４は、これをキーにして検索したプログラ
ムテンプレートを用いることにより、目的のプログラム
を合成する。コード生成部においては帰納推論を用いる
方法が一般的である。
【０００５】
【発明が解決しようとする課題】上述した従来の技術は
帰納推論をもとにしており、プログラム合成は決められ
た探索空間の探索という形をとる。したがって、探索を
行えば理論的にはどのようなプログラムでも合成できる
はずである。しかし、入出力例題に含まれる情報が少な
いので、複雑なプログラムを合成しようとすると探索空
間が巨大になり実際的でないという問題点があった。し
たがって、入出力例題によるプログラム合成手法が対象
とするのは初歩的なプログラムに限られており、複雑な
プログラムを合成する際には利用者が補助プログラムや
制御情報などの付加的情報を指定しなければならなかっ
た。
帰納推論をもとにしており、プログラム合成は決められ
た探索空間の探索という形をとる。したがって、探索を
行えば理論的にはどのようなプログラムでも合成できる
はずである。しかし、入出力例題に含まれる情報が少な
いので、複雑なプログラムを合成しようとすると探索空
間が巨大になり実際的でないという問題点があった。し
たがって、入出力例題によるプログラム合成手法が対象
とするのは初歩的なプログラムに限られており、複雑な
プログラムを合成する際には利用者が補助プログラムや
制御情報などの付加的情報を指定しなければならなかっ
た。
【０００６】本発明の目的は、与えられた入出力例題と
類似した入出力例題を持つプログラムから合成に役立つ
情報を取り出して仕様としての情報を増やすことによ
り、利用者が補助プログラム・制御情報など付加的な情
報を与えることなしに、入出力例題仕様のみから目的の
プログラムを自動合成する機能を有するプログラム自動
合成装置を提供することにある。
類似した入出力例題を持つプログラムから合成に役立つ
情報を取り出して仕様としての情報を増やすことによ
り、利用者が補助プログラム・制御情報など付加的な情
報を与えることなしに、入出力例題仕様のみから目的の
プログラムを自動合成する機能を有するプログラム自動
合成装置を提供することにある。
【０００７】
【課題を解決するための手段】本発明のプログラム自動
合成装置は、プログラムとこのプログラムの制約条件と
がペアで予め格納されているプログラム格納部と、目的
プログラムに関し与えられた入出力例題仕様に基づき前
記プログラム格納部に格納されているプログラムの中か
ら該目的プログラムに類似する類似プログラムを検索す
る検索部と、与えられた前記入出力例題仕様から制約条
件を求め、前記類似プログラムの制約条件との共通制約
を求める仕様解析部と、前記類似プログラムをプログラ
ムの典型的な構造を表現した内部構造に変換するプログ
ラム認識部と、前記内部構造のうち前記共通制約に関連
した部分を抽出する類似部分抽出部と、前記目的プログ
ラムのうちで前記プログラム格納部に格納されているプ
ログラムに類似した部分以外の部分を修正してコードを
出力するコード生成部とから成る。
合成装置は、プログラムとこのプログラムの制約条件と
がペアで予め格納されているプログラム格納部と、目的
プログラムに関し与えられた入出力例題仕様に基づき前
記プログラム格納部に格納されているプログラムの中か
ら該目的プログラムに類似する類似プログラムを検索す
る検索部と、与えられた前記入出力例題仕様から制約条
件を求め、前記類似プログラムの制約条件との共通制約
を求める仕様解析部と、前記類似プログラムをプログラ
ムの典型的な構造を表現した内部構造に変換するプログ
ラム認識部と、前記内部構造のうち前記共通制約に関連
した部分を抽出する類似部分抽出部と、前記目的プログ
ラムのうちで前記プログラム格納部に格納されているプ
ログラムに類似した部分以外の部分を修正してコードを
出力するコード生成部とから成る。
【０００８】
【作用】本プログラム合成装置は、類似プログラムを利
用することによりプログラムを合成する。仕様解析部が
データ型解析部と意味制約解析部とから成り仕様に関す
る詳細な情報を解析できる。それをプログラム構造と関
連付けることができるため、類似プログラムの有用な情
報を同定できる。類似プログラムには補助プログラム情
報や制御情報などが含まれているので、利用者はこれら
の情報を与える必要がなく、入出力例題仕様を与えるだ
けでよい。
用することによりプログラムを合成する。仕様解析部が
データ型解析部と意味制約解析部とから成り仕様に関す
る詳細な情報を解析できる。それをプログラム構造と関
連付けることができるため、類似プログラムの有用な情
報を同定できる。類似プログラムには補助プログラム情
報や制御情報などが含まれているので、利用者はこれら
の情報を与える必要がなく、入出力例題仕様を与えるだ
けでよい。
【０００９】
【実施例】次に、本発明について図面を参照して説明す
る。本発明の一実施例におけるデータの流れを図１に、
処理の流れを図３にそれぞれ示す。本システムは、入出
力例題を与えるとそれらを満たすプログラムを合成す
る。 Ａ 検索部１は入出力例題仕様中の入出力モードをキー
してプログラム格納部２から類似プログラムを検索す
る。ここで、プログラム格納部２中のプログラムについ
ては予め制約条件を計算してあり、プログラム格納部２
にはその制約条件とプログラムとがペアで格納されてい
る。 Ｂ 仕様解析部３は、与えられた入出力例題仕様から入
出力例題仕様の特徴を表現した制約条件を求める。ここ
で、仕様解析部３の構成は図４に示す通りである。まず
データ型解析部３１において、与えられた入出力例題か
らデータ型に関する情報を抽出する。次に意味制約抽出
部３２において、与えられた入出力例題からデータ型よ
りもプログラムの意味を表現する制約を抽出する。共通
制約抽出部３３は、与えられた入出力例題仕様に関し、
データ型解析部３１および意味制約抽出部３２で抽出さ
れた制約条件と、上記ステップＡで検索された類似プロ
グラムの制約条件との共通制約を求める。 Ｃ プログラム認識部４はステップＡで検索された類似
プログラムをプログラム構造を明示的に記述した内部構
造に変換する。 Ｄ 類似部分抽出部５は、ステップＣで得た内部構造の
うち、ステップＢで求めた共通制約に関連した部分を抽
出する。抽出された部分は、類似プログラムの中で目的
プログラムを合成するのに利用できる部分である。もし
類似部分が抽出されなければ他のプログラムを検索しＡ
からＤまでのステップを繰り返す。 Ｅ コード生成部６は、入出力例題仕様に適合するよう
に、類似部分以外の部分を生成する。
る。本発明の一実施例におけるデータの流れを図１に、
処理の流れを図３にそれぞれ示す。本システムは、入出
力例題を与えるとそれらを満たすプログラムを合成す
る。 Ａ 検索部１は入出力例題仕様中の入出力モードをキー
してプログラム格納部２から類似プログラムを検索す
る。ここで、プログラム格納部２中のプログラムについ
ては予め制約条件を計算してあり、プログラム格納部２
にはその制約条件とプログラムとがペアで格納されてい
る。 Ｂ 仕様解析部３は、与えられた入出力例題仕様から入
出力例題仕様の特徴を表現した制約条件を求める。ここ
で、仕様解析部３の構成は図４に示す通りである。まず
データ型解析部３１において、与えられた入出力例題か
らデータ型に関する情報を抽出する。次に意味制約抽出
部３２において、与えられた入出力例題からデータ型よ
りもプログラムの意味を表現する制約を抽出する。共通
制約抽出部３３は、与えられた入出力例題仕様に関し、
データ型解析部３１および意味制約抽出部３２で抽出さ
れた制約条件と、上記ステップＡで検索された類似プロ
グラムの制約条件との共通制約を求める。 Ｃ プログラム認識部４はステップＡで検索された類似
プログラムをプログラム構造を明示的に記述した内部構
造に変換する。 Ｄ 類似部分抽出部５は、ステップＣで得た内部構造の
うち、ステップＢで求めた共通制約に関連した部分を抽
出する。抽出された部分は、類似プログラムの中で目的
プログラムを合成するのに利用できる部分である。もし
類似部分が抽出されなければ他のプログラムを検索しＡ
からＤまでのステップを繰り返す。 Ｅ コード生成部６は、入出力例題仕様に適合するよう
に、類似部分以外の部分を生成する。
【００１０】一例として、合成の対象とするプログラム
を論理型言語Ｐｒｏｌｏｇで書かれたリスト処理を行な
う再帰プログラムに限定し、合成過程を具体的に説明す
る。
を論理型言語Ｐｒｏｌｏｇで書かれたリスト処理を行な
う再帰プログラムに限定し、合成過程を具体的に説明す
る。
【００１１】説明のために単純な例としてｉｎｔｅｒｓ
ｅｃｔ（積集合を求めるプログラム）を合成する例を用
いる。ｉｎｔｅｒｓｅｃｔの入出力例題は次のような形
で与える。 ｍｏｄｅ ｉｎｔｅｒｓｅｃｔ（＋，＋，−）． ｉｎｔｅｒｓｅｃｔ（［］，［］，［］）． ｉｎｔｅｒｓｅｃｔ（［］，［ｂ，ｃ］，［］）． ｉｎｔｅｒｓｅｃｔ（［ｂ］，［ｂ，ｃ］，［ｂ］）． ｉｎｔｅｒｓｅｃｔ（［ａ，ｂ］，［ｂ，ｃ］，
［ｂ］）． Ａ 入出力モードをキーにして類似しているプログラム
をライブラリから検索する。ここでは、ｉｎｔｅｒｓｅ
ｃｔの入出力モード情報（第１引数、第２引数が入力
（＋）、第３引数が出力（−））をキーにして、ｕｎｉ
ｏｎ（和集合を求めるプログラム）を検索するとして話
を進める。 Ｂ 求めるプログラムの入出力例題と類似のプログラム
の入出力例題に成り立つ共通の制約をまず抽出する。
ｅｃｔ（積集合を求めるプログラム）を合成する例を用
いる。ｉｎｔｅｒｓｅｃｔの入出力例題は次のような形
で与える。 ｍｏｄｅ ｉｎｔｅｒｓｅｃｔ（＋，＋，−）． ｉｎｔｅｒｓｅｃｔ（［］，［］，［］）． ｉｎｔｅｒｓｅｃｔ（［］，［ｂ，ｃ］，［］）． ｉｎｔｅｒｓｅｃｔ（［ｂ］，［ｂ，ｃ］，［ｂ］）． ｉｎｔｅｒｓｅｃｔ（［ａ，ｂ］，［ｂ，ｃ］，
［ｂ］）． Ａ 入出力モードをキーにして類似しているプログラム
をライブラリから検索する。ここでは、ｉｎｔｅｒｓｅ
ｃｔの入出力モード情報（第１引数、第２引数が入力
（＋）、第３引数が出力（−））をキーにして、ｕｎｉ
ｏｎ（和集合を求めるプログラム）を検索するとして話
を進める。 Ｂ 求めるプログラムの入出力例題と類似のプログラム
の入出力例題に成り立つ共通の制約をまず抽出する。
【００１２】データ型解析部３１においては、図５に示
すようにリストの型を分類した表現を用いる。意味制約
解析部３２においては、図５に示すように４つに大別し
た表現を用いる。ここでｅｑｌｅｎ（Ｘ，Ｙ）はＸとＹ
の長さが等しいこと、ｐｅｒｍ（Ｘ，Ｙ）はＸはＹのｐ
ｅｒｍｕｔａｉｏｎであること、ｅｑｏｃｃ（Ｘ，Ｙ）
はＸとＹには同じアトムが出現すること、ｊｏｉｎｔ
（Ｘ，Ｙ）はＸとＹは共通要素が存在することを表して
いる。また、複数入出力例題の制約の統合方法として、
全ての入出力例題についてその制約が成り立つａｎｄ
と、ある入出力例題についてその制約が成り立つｏｒが
ある。
すようにリストの型を分類した表現を用いる。意味制約
解析部３２においては、図５に示すように４つに大別し
た表現を用いる。ここでｅｑｌｅｎ（Ｘ，Ｙ）はＸとＹ
の長さが等しいこと、ｐｅｒｍ（Ｘ，Ｙ）はＸはＹのｐ
ｅｒｍｕｔａｉｏｎであること、ｅｑｏｃｃ（Ｘ，Ｙ）
はＸとＹには同じアトムが出現すること、ｊｏｉｎｔ
（Ｘ，Ｙ）はＸとＹは共通要素が存在することを表して
いる。また、複数入出力例題の制約の統合方法として、
全ての入出力例題についてその制約が成り立つａｎｄ
と、ある入出力例題についてその制約が成り立つｏｒが
ある。
【００１３】この例では、類似プログラムの制約条件
と、データ型解析と意味制約解析を行なった結果の目的
プログラムの入出力例題ｉｎｔｅｒｓｅｃｔの入出力例
題に対応する制約条件はそれぞれ以下のようになる。 ｛set(+1),set(+2),set(-1),joint(+1,+2),suffix(+2,-1)｝ ｛set(+1),set(+2),set(-1),joint(+1,+2),subset(-1,+2)｝ この２つの制約から共通制約 ｛set(+1),set(+2),set(-1),joint(+1,+2)｝ を求める。この共通制約は、第１入力引数、第２入力引
数のデータ型がｓｅｔ型、第１出力引数のデータ型がｓ
ｅｔ型であり、第１引数と第２引数の間には共通要素が
あるという意味制約があることを表している。 Ｃ プログラム認識部４は類似プログラムをプログラム
構造を明示的に記述した内部構造に変換する。例えば、
プログラム構造として分割統治法を用いる。分割統治法
は Ｐ←Ｄｅｃｏｍｐ，Ｇｕａｒｄ，Ｑ，Ｐ，Ｃｏｍｐ． のように表現できる。これは、入力を２つに分解（Ｄｅ
ｃｏｍｐ）し、分岐条件（Ｇｕａｒｄ）に当てはまれ
ば、補助述語（Ｑ）と再帰（Ｐ）にかけ、出力を合成
（Ｃｏｍｐ）するということである。４つのパラメータ
にはそれぞれ述語を用いる。 Ｄ 類似部分抽出部５は、この内部構造のうち共通制約
に関連した部分を抽出する。内部構造のうち、共通の制
約と関連付けられた部分を取り出す。
と、データ型解析と意味制約解析を行なった結果の目的
プログラムの入出力例題ｉｎｔｅｒｓｅｃｔの入出力例
題に対応する制約条件はそれぞれ以下のようになる。 ｛set(+1),set(+2),set(-1),joint(+1,+2),suffix(+2,-1)｝ ｛set(+1),set(+2),set(-1),joint(+1,+2),subset(-1,+2)｝ この２つの制約から共通制約 ｛set(+1),set(+2),set(-1),joint(+1,+2)｝ を求める。この共通制約は、第１入力引数、第２入力引
数のデータ型がｓｅｔ型、第１出力引数のデータ型がｓ
ｅｔ型であり、第１引数と第２引数の間には共通要素が
あるという意味制約があることを表している。 Ｃ プログラム認識部４は類似プログラムをプログラム
構造を明示的に記述した内部構造に変換する。例えば、
プログラム構造として分割統治法を用いる。分割統治法
は Ｐ←Ｄｅｃｏｍｐ，Ｇｕａｒｄ，Ｑ，Ｐ，Ｃｏｍｐ． のように表現できる。これは、入力を２つに分解（Ｄｅ
ｃｏｍｐ）し、分岐条件（Ｇｕａｒｄ）に当てはまれ
ば、補助述語（Ｑ）と再帰（Ｐ）にかけ、出力を合成
（Ｃｏｍｐ）するということである。４つのパラメータ
にはそれぞれ述語を用いる。 Ｄ 類似部分抽出部５は、この内部構造のうち共通制約
に関連した部分を抽出する。内部構造のうち、共通の制
約と関連付けられた部分を取り出す。
【００１４】このような制約と構造の関係を表現したル
ールを図６に示す。構文１はデータ型と述語の関係を表
したものである。ある引数のデータ型とその引数を用い
ている述語は関係していることを表している。例えば、
Ｒｕｌｅ１とＲｕｌｅ２は構文１を用いたルールの例で
ある。Ｒｕｌｅ１は入力引数の型はリストの分解方法Ｄ
ｅｃｏｍｐに関係すること、Ｒｕｌｅ２は出力引数の型
はリストの併合方法Ｃｏｍｐに影響することを記述して
いる。
ールを図６に示す。構文１はデータ型と述語の関係を表
したものである。ある引数のデータ型とその引数を用い
ている述語は関係していることを表している。例えば、
Ｒｕｌｅ１とＲｕｌｅ２は構文１を用いたルールの例で
ある。Ｒｕｌｅ１は入力引数の型はリストの分解方法Ｄ
ｅｃｏｍｐに関係すること、Ｒｕｌｅ２は出力引数の型
はリストの併合方法Ｃｏｍｐに影響することを記述して
いる。
【００１５】構文２はデータ型よりも詳細な関係を表し
ている。あるデータ型・演算型・統治型と述語の関係を
表したものである。例えば、Ｒｕｌｅ３とＲｕｌｅ４は
構文１を用いたルールの例である。Ｒｕｌｅ３は、入力
の２引数の間に、あるデータ型で、ある意味制約があ
り、ｏｒという統治方法を用いているならば、条件分岐
Ｇｕａｒｄが起こることを表している。
ている。あるデータ型・演算型・統治型と述語の関係を
表したものである。例えば、Ｒｕｌｅ３とＲｕｌｅ４は
構文１を用いたルールの例である。Ｒｕｌｅ３は、入力
の２引数の間に、あるデータ型で、ある意味制約があ
り、ｏｒという統治方法を用いているならば、条件分岐
Ｇｕａｒｄが起こることを表している。
【００１６】ただし、以上のルールは制約から構造への
一対多関係であり、ひとつの制約に対してそれを実現し
た構造は複数ある。すなわち、ルールは常に成立するわ
けではない。ソース領域において成立するルールだけが
意味を持ち、それをターゲット領域に写像する。
一対多関係であり、ひとつの制約に対してそれを実現し
た構造は複数ある。すなわち、ルールは常に成立するわ
けではない。ソース領域において成立するルールだけが
意味を持ち、それをターゲット領域に写像する。
【００１７】例えば、類似プログラム（ｕｎｉｏｎ）に
おいて、制約と構造の関係付けの際に利用されたルール
は図７に示した通りである。Ｒｕｌｅ１は、第１入力引
数、第２入力引数はｓｅｔ型なので、対応する構造とし
てＤｅｃｏｍｐのｆｉｒｓｔｒｅｓｔを用いることを示
している。同様にＲｕｌｅ２は、第１出力引数はｓｅｔ
型なので、対応する構造としてＣｏｍｐのｃｏｎｓを用
いることを示している。Ｒｕｌｅ３は、第１入力引数と
第２入力引数の間に共通要素があるｊｏｉｎｔ（＋１，
＋２）という関係が成立する場合が存在する（ｏｒ）の
で、対応する構造としてＧｕａｒｄのｍｅｍｂｅｒを用
いることを示している。この中で、新しい入出力例題
（ｉｎｔｅｒｓｅｃｔ）制約が成立するルールはＲｕｌ
ｅ１とＲｕｌｅ３であり、これらを写像する。 Ｅ 最後に、コード生成部は、入出力例題仕様に適合す
るように、類似部分以外の部分を合成し利用者に提示す
る。順に述語を生成することにより、メタインタープリ
タ上で、入出力例題をみたすかどうかを検査する。そし
て、検査の結果うまくいった述語を写像されたプログラ
ム構造に埋め込むことにより、目的のプログラムを求め
る。この例では、写像されずに残ったパラメータをプロ
グラム構造に埋め込むことにより、目的のプログラム ｉｎｔｅｒｓｅｃｔ（［］，Ｙｓ，［］）． ｉｎｔｅｒｓｅｃｔ（［Ｘ｜Ｘｓ］，Ｙｓ，［Ｘ｜Ｚｓ］）：− ｍｅｍｂｅｒ（Ｘ，Ｙｓ），ｉｎｔｅｒｓｅｃｔ（Ｘｓ，Ｙｓ，Ｚｓ）． ｉｎｔｅｒｓｅｃｔ（［Ｘ｜Ｘｓ］，Ｙｓ，Ｚｓ）：− ｎｏｔ ｍｅｍｂｅｒ（Ｘ，Ｙｓ），ｉｎｔｅｒｓｅｃｔ（Ｘｓ，Ｙｓ，Ｚ ｓ）． を得る。
おいて、制約と構造の関係付けの際に利用されたルール
は図７に示した通りである。Ｒｕｌｅ１は、第１入力引
数、第２入力引数はｓｅｔ型なので、対応する構造とし
てＤｅｃｏｍｐのｆｉｒｓｔｒｅｓｔを用いることを示
している。同様にＲｕｌｅ２は、第１出力引数はｓｅｔ
型なので、対応する構造としてＣｏｍｐのｃｏｎｓを用
いることを示している。Ｒｕｌｅ３は、第１入力引数と
第２入力引数の間に共通要素があるｊｏｉｎｔ（＋１，
＋２）という関係が成立する場合が存在する（ｏｒ）の
で、対応する構造としてＧｕａｒｄのｍｅｍｂｅｒを用
いることを示している。この中で、新しい入出力例題
（ｉｎｔｅｒｓｅｃｔ）制約が成立するルールはＲｕｌ
ｅ１とＲｕｌｅ３であり、これらを写像する。 Ｅ 最後に、コード生成部は、入出力例題仕様に適合す
るように、類似部分以外の部分を合成し利用者に提示す
る。順に述語を生成することにより、メタインタープリ
タ上で、入出力例題をみたすかどうかを検査する。そし
て、検査の結果うまくいった述語を写像されたプログラ
ム構造に埋め込むことにより、目的のプログラムを求め
る。この例では、写像されずに残ったパラメータをプロ
グラム構造に埋め込むことにより、目的のプログラム ｉｎｔｅｒｓｅｃｔ（［］，Ｙｓ，［］）． ｉｎｔｅｒｓｅｃｔ（［Ｘ｜Ｘｓ］，Ｙｓ，［Ｘ｜Ｚｓ］）：− ｍｅｍｂｅｒ（Ｘ，Ｙｓ），ｉｎｔｅｒｓｅｃｔ（Ｘｓ，Ｙｓ，Ｚｓ）． ｉｎｔｅｒｓｅｃｔ（［Ｘ｜Ｘｓ］，Ｙｓ，Ｚｓ）：− ｎｏｔ ｍｅｍｂｅｒ（Ｘ，Ｙｓ），ｉｎｔｅｒｓｅｃｔ（Ｘｓ，Ｙｓ，Ｚ ｓ）． を得る。
【００１８】
【発明の効果】以上に説明したように、本発明は、利用
者が補助プログラム・制御情報など付加的な情報を与え
ることなしに、入出力例題仕様のみからプログラムを自
動合成することができるという結果を有する。
者が補助プログラム・制御情報など付加的な情報を与え
ることなしに、入出力例題仕様のみからプログラムを自
動合成することができるという結果を有する。
【図１】本発明の一実施例を示す構成図である。
【図２】本発明を使用しない従来のプログラム合成装置
の説明図である。
の説明図である。
【図３】図１の実施例における処理の流れを表すフロー
チャートである。
チャートである。
【図４】図１の実施例における仕様解析部の説明図であ
る。
る。
【図５】図１の実施例における仕様解析部で用いられる
分類の例を示す図である。
分類の例を示す図である。
【図６】図１の実施例における類似部分抽出部で適用さ
れるルールの例を示す図である。
れるルールの例を示す図である。
【図７】図１の実施例における類似部分抽出部で適用さ
れるルールの例を示す図である。
れるルールの例を示す図である。
１ 検索部 ２ プログラム格納部 ３ 仕様解析部 ４ プログラム認識部 ５ 類似部分抽出部 ６ コード生成部
Claims (2)
- 【請求項１】 プログラムとこのプログラムの制約条件
とがペアで予め格納されているプログラム格納部と、目
的プログラムに関し与えられた入出力例題仕様に基づき
前記プログラム格納部に格納されているプログラムの中
から該目的プログラムに類似する類似プログラムを検索
する検索部と、与えられた前記入出力例題仕様から制約
条件を求め、前記類似プログラムの制約条件との共通制
約を求める仕様解析部と、前記類似プログラムをプログ
ラムの典型的な構造を表現した内部構造に変換するプロ
グラム認識部と、前記内部構造のうち前記共通制約に関
連した部分を抽出する類似部分抽出部と、前記目的プロ
グラムのうちで前記プログラム格納部に格納されている
プログラムに類似した部分以外の部分を修正してコード
を出力するコード生成部とから成ることを特徴とするプ
ログラム自動合成装置。 - 【請求項２】 前記仕様解析部がデータ型解析部と意味
制約解析部と共通制約抽出部とから成ることを特徴とす
る請求項１に記載のプログラム自動合成装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3244595A JPH0553780A (ja) | 1991-08-28 | 1991-08-28 | プログラム自動合成装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3244595A JPH0553780A (ja) | 1991-08-28 | 1991-08-28 | プログラム自動合成装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0553780A true JPH0553780A (ja) | 1993-03-05 |
Family
ID=17121062
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3244595A Withdrawn JPH0553780A (ja) | 1991-08-28 | 1991-08-28 | プログラム自動合成装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0553780A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009262279A (ja) * | 2008-04-25 | 2009-11-12 | Nec Corp | ロボット、ロボットプログラム共有システム、ロボットプログラム共有方法およびプログラム |
| KR20220123950A (ko) * | 2021-03-02 | 2022-09-13 | 한양대학교 에리카산학협력단 | 프로그램 합성 장치 및 방법 |
| WO2022230190A1 (ja) * | 2021-04-30 | 2022-11-03 | 日本電信電話株式会社 | プログラム生成装置、プログラム生成方法及びプログラム |
| WO2022239179A1 (ja) * | 2021-05-13 | 2022-11-17 | 日本電信電話株式会社 | プログラム生成装置、プログラム生成方法及びプログラム |
-
1991
- 1991-08-28 JP JP3244595A patent/JPH0553780A/ja not_active Withdrawn
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009262279A (ja) * | 2008-04-25 | 2009-11-12 | Nec Corp | ロボット、ロボットプログラム共有システム、ロボットプログラム共有方法およびプログラム |
| KR20220123950A (ko) * | 2021-03-02 | 2022-09-13 | 한양대학교 에리카산학협력단 | 프로그램 합성 장치 및 방법 |
| WO2022230190A1 (ja) * | 2021-04-30 | 2022-11-03 | 日本電信電話株式会社 | プログラム生成装置、プログラム生成方法及びプログラム |
| WO2022239179A1 (ja) * | 2021-05-13 | 2022-11-17 | 日本電信電話株式会社 | プログラム生成装置、プログラム生成方法及びプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN108446540B (zh) | 基于源代码多标签图神经网络的程序代码抄袭类型检测方法与系统 | |
| CN111428044A (zh) | 多模态获取监管识别结果的方法、装置、设备及存储介质 | |
| CN110633264B (zh) | 应用专利数据库的研发辅助系统及其方法 | |
| CN106843840A (zh) | 一种基于相似度分析的源代码版本演化注释复用方法 | |
| US7853595B2 (en) | Method and apparatus for creating a tool for generating an index for a document | |
| JPH07244666A (ja) | 自然言語自動翻訳方法及び自然言語自動翻訳装置 | |
| US6154754A (en) | Automatic synthesis of semantic information from multimedia documents | |
| EP3999950B1 (en) | Automatically converting a program written in a procedural programming language into a dataflow graph and related systems and methods | |
| Abbas et al. | A review of nlidb with deep learning: findings, challenges and open issues | |
| CN113486187A (zh) | 佛学知识图谱构建方法、装置、设备及存储介质 | |
| Hamreras et al. | Content based image retrieval by convolutional neural networks | |
| O'Neill | Automatic translation of VDM specifications into Standard ML programs | |
| Sheneamer | CCDLC detection framework-combining clustering with deep learning classification for semantic clones | |
| Zhou et al. | Effective approaches to combining lexical and syntactical information for code summarization | |
| JP2010061176A (ja) | テキストマイニング装置、テキストマイニング方法、および、テキストマイニングプログラム | |
| JPH0553780A (ja) | プログラム自動合成装置 | |
| CN115794105A (zh) | 一种微服务的提取方法、装置以及电子设备 | |
| Hou et al. | A novel machine learning algorithm to reduce prediction error and accelerate learning curve for very large datasets | |
| Espinoza-Stapelfeld et al. | Comparative quantitative evaluation of distributed methods for explanation generation and validation of floor plan recommendations | |
| Cook et al. | SHAMROQ: Towards semantic models of regulations. | |
| Koskimies et al. | Modelling of space‐efficient one‐pass translation using attribute grammars | |
| Mubarak-Ali et al. | Code Clone Detection Model: A SWOT Analysis Perspective | |
| Varma et al. | Implementation of Reduct and Core features of Rough Set Theory on FPGA | |
| Kanehara et al. | A flexible image retrieval using explicit visual instruction | |
| Bodenhofer et al. | Special issue on soft computing for information mining |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19981112 |