Program synthesis: challenges and opportunities.
Program synthesis: challenges and opportunities.
复制标题
DOI：
10.1098/rsta.2015.0403
复制
发表时间：
2017-10-13
期刊：
影响因子：
--
通讯作者：
Kroening D
中科院分区：
文献类型：
--
作者：
David C;Kroening D
程序综合是软件的机制，称为“自我编写代码”从逻辑的角度来看，程序合成器是求解器二阶逻辑由于二阶逻辑的表达方式，我们的某些应用程序范围很广。我们专注于一种提高程序综合的方法，并引入了一代新的合成工具，即反示例引导的归纳合成（CEGIS）对CEGIS体系结构的描述，然后是算法改进，我们猜测程序合成引擎的能力将以对应用程序透明的方式进行进一步的变化，这将打开更广泛的用例。
本文是主题问题“已验证的可信赖软件系统”的一部分。
Program synthesis is the mechanized construction of software, dubbed ‘self-writing code’. Synthesis tools relieve the programmer from thinking about how the problem is to be solved; instead, the programmer only provides a description of what is to be achieved. Given a specification of what the program should do, the synthesizer generates an implementation that provably satisfies this specification. From a logical point of view, a program synthesizer is a solver for second-order existential logic. Owing to the expressiveness of second-order logic, program synthesis has an extremely broad range of applications. We survey some of these applications as well as recent trends in the algorithms that solve the program synthesis problem. In particular, we focus on an approach that has raised the profile of program synthesis and ushered in a generation of new synthesis tools, namely counter-example-guided inductive synthesis (CEGIS). We provide a description of the CEGIS architecture, followed by recent algorithmic improvements. We conjecture that the capacity of program synthesis engines will see further step change, in a manner that is transparent to the applications, which will open up an even broader range of use-cases. This article is part of the themed issue ‘Verified trustworthy software systems’.
登录
查看更多内容
影响因子：
0.8
作者：
Clarke, E;Biere, A;Zhu, Y
通讯作者：
Zhu, Y
DOI：
10.1007/11799573_21
发表时间：
2006-01-01
期刊：
LOGIC PROGRAMMING, PROCEEDINGS
影响因子：
--
作者：
Brain, Martin;Crick, Tom;Fitch, John
通讯作者：
Fitch, John
影响因子：
1.1
作者：
GOLDMAN, SA;KEARNS, MJ
通讯作者：
KEARNS, MJ
影响因子：
22.7
作者：
Gulwani, Sumit
通讯作者：
Gulwani, Sumit
影响因子：
1.6
作者：
Gomez, F;Miikkulainen, R
通讯作者：
Miikkulainen, R