Special Issue on Syntax-Guided Synthesis Preface.

Dana Fisman Rishabh Singh Armando Solar-Lezama

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

special issue
international journal
ai edam
ecml pkdd
international workshop
applied intelligence
program synthesis
high level
special section
data mining
natural language
definition language
case study
artificial neural networks
recent progress
information retrieval and extraction