BibTeX
CSL-JSON
MLA
Harvard
Language to Specify Syntax-Guided Synthesis Problems
release_ott3qcbbrfc23d6glqeqlgfekm
by
Mukund Raghothaman, Abhishek Udupa
Released
as a article
.
2016
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.
In text/plain
format
Archived Files and Locations
application/pdf 337.9 kB
file_43icoeilpvertduo6usfu7eegi
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
1405.5590v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links