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