程序合成研究进展  

Progress on Research of Program Synthesis

作　　者：张银珠 董威[1] 刘斌斌[1] ZHANG Yin-zhu;Dong Wei;LIU Bin-bin(National Defense University of Science and Technology Software Engineering, Changsha 410073, China)

机构地区：[1]国防科技大学计算机学院,湖南长沙410073

出　　处：《软件》2019年第4期25-30,共6页Software

基　　金：国家自然科学基金项目(批准号:61690203)

摘　　要：在软件工程领域中,程序自动合成是一个非常核心的研究方向,并且在软件开发活动如此普及的社会中有望成为未来软件工程变革的核心技术。随着多年该领域的研究发展,已经衍生出了很多种不同的流派与技术路线。本文针对程序合成领域的发展现状与技术研究进展做了综合叙述,并探究目前程序合成领域所面临的挑着与未来一段时间内需要解决的问题。Automatic program synthesis has become a core research direction in the field of software engineering. And it is expected to become the core technology of future software engineering with software development becoming more and more popular in current society. There exists different schools and technical routes in the research of program synthesis. In this paper, a comprehensive description of the development status and technology progress of program synthesis is given and we also explores the challenges facing the current field of program synthesis and the problems that need to be solved in the future.

关 键 词：程序合成 搜索排序 程序结构 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]