Wikiwand AI

プログラム合成

From Wikipedia, the free encyclopedia

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

プログラム合成の課題

外部リンク

Related Articles

Timelines

Top Qs

Fact Checks