Dimensions in program synthesis
2010pp. 13–24
Citations Over TimeTop 1% of 2010 papers
Abstract
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.
Related Papers
- → Program analysis and verification(1989)14 cited
- Generation of and Debugging with Logical Pre and Post-Conditions.(2000)
- PRM, The Language. Version O.2(2006)
- → What Is Python?(2019)
- → JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification(2021)