プログラム合成

From Wikipedia, the free encyclopedia

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

プログラム合成の課題

外部リンク

Related Articles

Wikiwand AI