Human-Centric Program Synthesis

26 Sep 2019 Crichton Will

Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples?.. (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • HUMAN-COMPUTER INTERACTION
  • PROGRAMMING LANGUAGES