We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our approach takes into account polymorphic type constraints as well as test cases. Our tool interactively displays a ranked list of suggested code fragments that are appropriate for the current program point. We have found our system to be useful for synthesizing code fragments for common programming tasks, and we believe it is a good platform for exploring software synthesis techniques. © 2011 Springer-Verlag.
CITATION STYLE
Gvero, T., Kuncak, V., & Piskac, R. (2011). Interactive synthesis of code snippets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6806 LNCS, pp. 418–423). https://doi.org/10.1007/978-3-642-22110-1_33
Mendeley helps you to discover research relevant for your work.