C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of loop-free programs.
Sumit Gulwani
Susmit Jha
Ashish Tiwari
Ramarathnam Venkatesan
Published in:
PLDI (2011)
Keyphrases
</>
functional programs
program synthesis
machine learning
texture synthesis
computer programs
automatic programming
provably correct
database
real time
information retrieval
three dimensional
expert systems
artificial neural networks
intermediate level
analog circuits