论文标题
程序合成的遗传算法
Genetic Algorithm for Program Synthesis
论文作者
论文摘要
演绎程序合成工具将指定作为输入，并得出满足规范的程序。这种方法的缺点是，此类正确程序的搜索空间往往是巨大的，因此很难在现实的超时范围内得出正确的程序。为了加快此类程序推导，我们使用进化计算改进了演绎程序合成工具Suslik的搜索策略。我们的交叉验证表明，进化计算通用所带来的改进是无法预见的问题。
A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this approach is that search spaces for such correct programs tend to be enormous, making it difficult to derive correct programs within a realistic timeout. To speed up such program derivation, we improve the search strategy of a deductive program synthesis tool, SuSLik, using evolutionary computation. Our cross-validation shows that the improvement brought by evolutionary computation generalises to unforeseen problems.
