Probabilistic Synthesis for Program with Non-API Operations

The current approaches to program synthesis focus more on works that contain only API methods. However, our survey shows that the ratio of non-API operations to API calls is very close in Java programs. Although non-API operations are difficult to obtain specific information from user intent, those operations in such as mathematics and logic are frequent and important, and that is an indispensable key in practical development tasks. We present Cana (Capsulate Non-API), an improved approach of probabilistic synthesis for non-API operations. Cana synthesizes programs with non-API operations through two main ideas. One is to encapsulate non-API operations into API calls, and the user also can provide related information when describing incomplete specifications. The other is heuristic strategies to solve the difficult problems that select variables with the same type. Experiments show that Cana can synthesize programs contains combinations of non-API operations in seconds.