Programming by Example Made Easy
Abstract
References
Index Terms
- Programming by Example Made Easy
Recommendations
Synthesizing transformations on hierarchically structured data
PLDI '16This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees (HDTs) and present a novel example-...
Interpretable Program Synthesis
CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing SystemsProgram synthesis, which generates programs based on user-provided specifications, can be obscure and brittle: users have few ways to understand and recover from synthesis failures. We propose interpretable program synthesis, a novel approach that ...
Example-guided synthesis of relational queries
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and ImplementationProgram synthesis tasks are commonly specified via input-output examples. Existing enumerative techniques for such tasks are primarily guided by program syntax and only make indirect use of the examples. We identify a class of synthesis algorithms for ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
![cover image ACM Transactions on Software Engineering and Methodology](/cms/asset/2d031e80-1bb2-49bd-b941-b813421d3a73/3613536.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- National Science Foundation of China
- Leading-edge Technology Program of the Jiangsu Natural Science Foundation
- Hong Kong Research Grant Council/General Research Fund
- Hong Kong Research Grant Council/Research Impact Fund
- Natural Sciences and Engineering Research Council of Canada Discovery Grant
- Fundamental Research Funds for the Central Universities of China
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 598Total Downloads
- Downloads (Last 12 months)483
- Downloads (Last 6 weeks)28
Other Metrics
Citations
Cited By
View allView Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in