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.

翻译：减法程序合成工具将一个规格作为输入,并产生一个符合规格的程序。 这种方法的缺点是,对此类正确程序的搜索空间往往非常巨大, 使得很难在现实的超时内获得正确的程序。 为了加速这种程序衍生, 我们用进化计算方法改进了一个减法程序合成工具SusSLik的搜索策略。 我们的交叉验证表明, 进化计算带来的改进会给无法预见的问题带来一般性的改进 。