Survey of Intelligent Program Synthesis Techniques

Baishun Zhou, Gangyi Ding*

*此作品的通讯作者

科研成果: 书/报告/会议事项章节会议稿件同行评审

1 引用 (Scopus)

摘要

Program synthesis refers to the task of solving a specific problem by automatically generating a computer program. It has received considerable attention from artificial intelligence and programming language communities. Over time, software codes and group wisdom have been accumulated on the internet. Simultaneously, artificial intelligence, such as deep learning, has obtained promising achievements in numerous fields, which has motivated researchers to address the problem of automatic program generation by considering both software engineering and intelligent technology. The key challenges in the field of program synthesis mainly consist of the huge search space of the programs and the ambiguity of user intent. In this study, we analyze program synthesis techniques according to their user intent description, focus on the impact of new technologies on program synthesis, such as data-driven and artificial intelligence, and summarize the pruning methods of program space and search technologies. Further, we discuss the existing challenges in program synthesis technology and present suggestions for further studies in this field.

源语言英语
主期刊名International Conference on Algorithms, High Performance Computing, and Artificial Intelligence, AHPCAI 2023
编辑Sandeep Saxena, Cairong Zhao
出版商SPIE
ISBN(电子版)9781510671881
DOI
出版状态已出版 - 2023
活动2023 International Conference on Algorithms, High Performance Computing, and Artificial Intelligence, AHPCAI 2023 - Yinchuan, 中国
期限: 18 8月 202319 8月 2023

出版系列

姓名Proceedings of SPIE - The International Society for Optical Engineering
12941
ISSN(印刷版)0277-786X
ISSN(电子版)1996-756X

会议

会议2023 International Conference on Algorithms, High Performance Computing, and Artificial Intelligence, AHPCAI 2023
国家/地区中国
Yinchuan
时期18/08/2319/08/23

指纹

探究 'Survey of Intelligent Program Synthesis Techniques' 的科研主题。它们共同构成独一无二的指纹。

引用此