用于搜索元文法矩阵以进行合成的遗传算法

语法引导合成是程序合成中的一种范式，其中候选解的搜索空间受形如文法的语法模板约束。这些语法约束有两个目的：将语言限制到用户所期望的空间，同时也使合成器的搜索空间易于处理。给定编写良好的语法模板，这是一种极为有效的技术。然而，这在高度依赖于用户提供此类模板：过大的语法模板会导致更大的搜索空间与更慢的合成，而过小的语法模板可能不包含所需解。在本工作中，我们将语法模板的空间构建为规则的矩阵，并展示如何利用诸如遗传算法的简单搜索技术以极少训练数据有效地搜索该矩阵，从而在最先进合成求解器所解决的基准数量与求解时间上均取得改进。