程序合成研究进展

摘要

在软件工程领域中,程序自动合成是一个非常核心的研究方向,并且在软件开发活动如此普及的社会中有望成为未来软件工程变革的核心技术.随着多年该领域的研究发展,已经衍生出了很多种不同的流派与技术路线.本文针对程序合成领域的发展现状与技术研究进展做了综合叙述,并探究目前程序合成领域所面临的挑着与未来一段时间内需要解决的问题.