Login / Signup
Syntax-guided synthesis.
Rajeev Alur
Rastislav Bodík
Garvit Juniwal
Milo M. K. Martin
Mukund Raghothaman
Sanjit A. Seshia
Rishabh Singh
Armando Solar-Lezama
Emina Torlak
Abhishek Udupa
Published in:
FMCAD (2013)
Keyphrases
</>
natural language
program synthesis
neural network
metadata
syntactic analysis
type checking
database
real world
genetic algorithm
multimedia
digital libraries
user interface
logic programs
definition language