程序合成技术自动合成满足某个目标的程序，被我国软件先驱徐家福先生称为“提高软件生产率的根本途径”。程序合成在很多领域都有应用，比如最终用户编程，优化，缺陷修复等。本报告将介绍近二十年来蓬勃发展的归纳程序合成技术，包括枚举方法，基于表示的合成和概率引导的合成等。本报告的内容基于北京大学的《软件分析技术》课程中关于程序合成的部分。
[程序合成技术, 枚举方法, 软件分析技术]
熊英飞
