プログラム合成

ウィキペディア

プログラム合成

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/21 08:28 UTC 版)

プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。