Synthesis of Recursive ADT Transformations from Reusable Templates

Synthesis of Recursive ADT Transformations from Reusable Templates

Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potential programs. Unfortunately, creating templates often requires nontrivial effort from the user, which impedes the usabili...

Full description

Bibliographic Details
Main Authors: Qiu, Xiaokang (Author), Lerner, Benjamin S. (Author), Inala, Jeevana Priya (Contributor), Polikarpova, Nadezhda (Contributor), Solar Lezama, Armando (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Springer-Verlag, 2017-08-24T19:36:27Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items