SyGuS-Comp 2016: Results and Analysis

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...

Full description

Bibliographic Details
Main Authors: Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: Open Publishing Association 2021
Online Access:https://hdl.handle.net/1721.1/137904

Internet

https://hdl.handle.net/1721.1/137904

Similar Items