CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 12941 > Article
Paper
7 December 2023 Survey of intelligent program synthesis techniques
Baishun Zhou, Gangyi Ding
Author Affiliations +
Proceedings Volume 12941, International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023); 129414G (2023) https://doi.org/10.1117/12.3011627
Event: Third International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 203), 2023, Yinchuan, China
Abstract
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.
(2023) Published by SPIE. Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Baishun Zhou and Gangyi Ding "Survey of intelligent program synthesis techniques", Proc. SPIE 12941, International Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023), 129414G (7 December 2023); https://doi.org/10.1117/12.3011627
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 15 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Computer programming
Deep learning
Machine learning
Neural networks
Computer programming languages
Artificial intelligence
Software engineering
RELATED CONTENT
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top