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, Lerner, Benjamin S., Inala, Jeevana Priya, Polikarpova, Nadezhda, Solar Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Springer-Verlag 2017
Online Access:http://hdl.handle.net/1721.1/111015
https://orcid.org/0000-0001-5571-173X
https://orcid.org/0000-0001-7604-8252

Internet

http://hdl.handle.net/1721.1/111015
https://orcid.org/0000-0001-5571-173X
https://orcid.org/0000-0001-7604-8252

Similar Items