Programmable Program Synthesis
Programmable Program Synthesis
复制标题
可编程程序综合
DOI：
10.1007/978-3-030-81685-8_4
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Reps, Thomas
中科院分区：
文献类型：
--
作者：
D'Antoni, Loris;Hu, Qinheping;Kim, Jinwoo;Reps, Thomas
程序合成现在是现实，我们正在接近特定领域的合成器现在可以处理实际规模的问题的点。此外，这些工具中的一些正在工业中被采用。然而，为了使合成成为程序员以及最终用户普遍采用的主流技术，我们需要设计可编程的合成框架，这些框架(I)不是为特定的领域或语言量身定做的，(Ii)使人能够在考虑到各种定性和定量目标的情况下指定合成问题，以及(Iii)配备理论和实践保证。我们报告了我们在设计这样的框架和构建合成引擎方面的工作，这些引擎可以处理在这样的框架中描述的程序合成问题，并描述了开放的挑战和机会。
Program synthesis is now a reality, and we are approaching the point where domain-specific synthesizers can now handle problems of practical sizes. Moreover, some of these tools are finding adoption in industry. However, for synthesis to become a mainstream technique adopted at large by programmers as well as by end-users, we need to design programmable synthesis frameworks that (i) are not tailored to specific domains or languages, (ii) enable one to specify synthesis problems with a variety of qualitative and quantitative objectives in mind, and (iii) come equipped with theoretical as well as practical guarantees. We report on our work on designing such frameworks and on building synthesis engines that can handle program-synthesis problems describable in such frameworks, and describe open challenges and opportunities.
登录
查看更多内容
使用程序合成自动回答“我走在正确的轨道上吗？”
DOI：
--
发表时间：
2019
期刊：
SPLASH-E
影响因子：
--
作者：
Molly Q. Feldman;Yiting Wang;William E. Byrd;François Guimbretière;Erik Andersen
通讯作者：
Erik Andersen
影响因子：
--
作者：
Xinyu Wang;Işıl Dillig;Rishabh Singh
通讯作者：
Xinyu Wang;Işıl Dillig;Rishabh Singh
DOI：
10.1145/2737924.2737982
发表时间：
2015
期刊：
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
A. Nori;Sherjil Ozair;S. Rajamani;Deepak Vijaykeerthy
通讯作者：
Deepak Vijaykeerthy
自下而上的枚举综合的即时学习
影响因子：
--
作者：
Barke, Shraddha;Peleg, Hila;Polikarpova, Nadia
通讯作者：
Polikarpova, Nadia
具有定量句法目标的句法引导综合
DOI：
10.1007/978-3-319-96145-3_21
发表时间：
2018
期刊：
Computer Aided Verification 2018
影响因子：
--
作者：
Hu, Q. and
通讯作者：
Hu, Q. and