arrow
Return

Program Synthesis Using Stochastic Techniques

delete2016-01-25
delete1
PRE
AI
S
Sumit Gulwani *
DOI:10.1145/2863699delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

M
Microsoft
Scholars:
3.0K
Papers: 2.7K
Citations: 7