Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Peiyuan Shen"'
Publikováno v:
PLDI
Syntax-guided synthesis (SyGuS) aims to find a program satisfying semantic specification as well as user-provided structural hypotheses. There are two main synthesis approaches: enumerative synthesis, which repeatedly enumerates possible candidate pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5bf8e12d3fdfe04abbf9ae2764386a1
https://doi.org/10.1145/3385412.3386027
https://doi.org/10.1145/3385412.3386027
