Algorithmic program synthesis: introduction
Algorithmic program synthesis: introduction
复制标题
算法程序综合：简介
DOI：
10.1007/s10009-013-0287-9
复制
发表时间：
2013
影响因子：
1.5
通讯作者：
Barbara Jobstmann
中科院分区：
文献类型：
--
作者：
Rastislav Bodík;Barbara Jobstmann
程序合成是根据规范生成可执行程序的过程。算法合成自动生成程序，无需专家干预。经典编译属于算法程序合成的定义，源程序是规范，而合成文献通常关注的是生成不能（容易地）通过编译器的确定性转换获得的程序。为此，综合算法通常在候选程序的空间中或在可能组成的转换空间中执行搜索，以将规范转换为所需的程序。在这篇特刊导论中，我们回顾了算法程序合成的历史，并介绍了投稿文章。我们将该领域分为反应性综合和功能综合，前者涉及处理无限请求流的控制器的自动机理论技术，后者产生消耗有限输入的程序。投稿文章的分类类似。我们还提供了这些类别之外的合成工作的指针，并列出了合成的许多应用。
Program synthesis is a process of producing an executable program from a specification. Algorithmic synthesis produces the program automatically, without an intervention from an expert. While classical compilation falls under the definition of algorithmic program synthesis, with the source program being the specification, the synthesis literature is typically concerned with producing programs that cannot be (easily) obtained with the deterministic transformations of a compiler. To this end, synthesis algorithms often perform a search, either in a space of candidate programs or in a space of transformations that might be composed to transform the specification into a desired program. In this introduction to the special journal issue, we survey the history of algorithmic program synthesis and introduce the contributed articles. We divide the field into reactive synthesis, which is concerned with automata-theoretic techniques for controllers that handle an infinite stream of requests, and functional synthesis, which produces programs consuming finite input. Contributed articles are divided analogously. We also provide pointers to synthesis work outside these categories and list many applications of synthesis.
DOI：
10.1007/978-3-662-44923-3
发表时间：
2014-09
期刊：
--
影响因子：
--
作者：
Gerson Zaverucha;V. S. Costa;A. Paes
通讯作者：
Gerson Zaverucha;V. S. Costa;A. Paes
使用游戏综合容错嵌入式系统：从理论到实践
DOI：
10.1007/978-3-642-18275-4_10
发表时间：
2011
期刊：
影响因子：
--
作者：
C.-H. Cheng;H. Ruess;C. Buckl;A. Knoll
通讯作者：
A. Knoll
DOI：
10.1007/b102065
发表时间：
2004
期刊：
--
影响因子：
--
作者：
Dang Van Hung;Mizuhito Ogawa
通讯作者：
Dang Van Hung;Mizuhito Ogawa