Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Huang, Kangjing"'
Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main search strategies: concrete search, which systematically or stochastically
Externí odkaz:
http://arxiv.org/abs/1802.04428
