SyGuS-Comp 2016: Results and Analysis
© R. Alur, D. Fisman, R. Singh & A. Solar-Lezama. Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula φ in a background theory T, and a syntactic constraint given by a grammar G, which spec...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137904 |