A Hint in the Right Direction: Interactive Synthesis with Partial Dynamic Specifications

TitleA Hint in the Right Direction: Interactive Synthesis with Partial Dynamic Specifications
Publication TypeConference Paper
Year of Publication2012
AuthorsGalenson, J., Reames P., Bodik R., & Sen K.
Conference NameOOPSLA 2012
Conference LocationTucson, AZ
Abstract

Most programs contain conceptually simple statements that
are difficult to write.We propose a new methodology that allows
programmers to give partial dynamic specifications of
the results of statements in a particular program state, and
which uses them to synthesize candidate statements. Building
on previous work, these specifications can consist of information
about the type or value of a desired expression
or can be arbitrary predicates relating the input and output
states. We implemented our methodology in a tool named
CodeHint and ran a user study where we found that programmers
used it when given the choice.

AttachmentSize
A Hint in the right Direction- Bodik, Sen.pdf354.67 KB