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
Type  article
Stage   submitted
Date   2016-10-23
Version   v2
Language   en ?
arXiv  1405.5590v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d22ea23d-790c-444b-81a4-e947a4677a31
API URL: JSON