Program synthesis. Gulwani, S., Polozov, O., Singh, R., & others Foundations and Trends® in Programming Languages, 4(1-2):1–119, Now Publishers, Inc., 2017.
bibtex   
@article{gulwani2017,
  title={Program synthesis},
  author={Gulwani, Sumit and Polozov, Oleksandr and Singh, Rishabh and others},
  journal={Foundations and Trends{\textregistered} in Programming Languages},
  volume={4},
  number={1-2},
  pages={1--119},
  year={2017},
  publisher={Now Publishers, Inc.}
}

Downloads: 0