模块化系统合成
摘要：通过利用模块化，本文描述了一种提高程序合成的可扩展性的方法：较大的程序由较小的程序合成。关键问题是使每个“由较小合成而成的更大”合成子问题具有相似的性质，以便需要解决的合成子问题的类型-和每个搜索空间的大小-在每个层面上大致具有相同的特征。这项工作有望创建比当前可用工具更具扩展能力的程序合成工具，并为合成研究开辟新的道路：合成工具应如何支持模块化系统设计，以及合成应用程序如何最好地利用这些能力。
作者：Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps
论文ID：2308.06956
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-15