SyGuS-Comp 2016: Results and Analysis

  title={SyGuS-Comp 2016: Results and Analysis},
  author={Rajeev Alur and Dana Fisman and Rishabh Singh and Armando 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 specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together… CONTINUE READING