程序合成

在计算机科学中，程序合成是自动构建满足给定高级规范的程序的任务。