Abstract | ||
---|---|---|
We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver. [1] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. In FMCAD, pages 1--17, 2013. |
Year | Venue | Field |
---|---|---|
2014 | CoRR | Programming language,Program synthesis,Computer science,Solver,Syntax |
DocType | Volume | Citations |
Journal | abs/1405.5590 | 6 |
PageRank | References | Authors |
0.49 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mukund Raghothaman | 1 | 119 | 8.30 |
Abhishek Udupa | 2 | 170 | 8.19 |