Results and Analysis of SyGuS-Comp'15
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 specifies the allowed set of candidate implementations. Such...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association,
2018-02-05T18:03:37Z.
|
| Subjects: | |
| Online Access: | Get fulltext |