11

[1909.12281] Human-Centric Program Synthesis

 2 years ago
source link: https://arxiv.org/abs/1909.12281
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

[Submitted on 26 Sep 2019]

Human-Centric Program Synthesis

Download PDF

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? What actual issues in day-to-day development would stand to benefit the most from synthesis? How can a human-centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.

Comments: To appear at PLATEAU'19 Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL) Cite as: arXiv:1909.12281 [cs.HC]   (or arXiv:1909.12281v1 [cs.HC] for this version)

report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK