Dimensions in program synthesis 论文

2010引用 238
Machine Learning and AlgorithmsSoftware Testing and Debugging TechniquesAlgorithms and Data Compression

摘要

Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develop utility programs, helping regular programmers automatically discover tricky/mundane details, program understanding, discovery of new algorithms, and even teaching.