Affiliation:
1. MIT, Cambridge, MA, USA
Abstract
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming environments to work with informal descriptions that lack precise semantics, such as natural language descriptions or conceptual diagrams, without requiring programmers to formulate their ideas in a formal language first. As an example of this idea, we present Zones, a code search and reuse interface that connects code with ambiguous natural language statements about its purpose. The backend, called ProcedureSpace, relates purpose statements, static code analysis features, and natural language background knowledge. ProcedureSpace can search for code given statements of purpose or vice versa, and can find code that was never annotated or commented. Since completed Zones searches become annotations, system coverage grows with user interaction. Users in a preliminary study found that reasoning jointly over natural language and programming language helped them reuse code.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference16 articles.
1. }}J. Brandt M. Dontcheva M. Weskamp and S. R. Klemmer. Example-centric programming: Integrating web search into the development environment. Technical report CSTR-2009-01 2009. }}J. Brandt M. Dontcheva M. Weskamp and S. R. Klemmer. Example-centric programming: Integrating web search into the development environment. Technical report CSTR-2009-01 2009.
2. Programming on an already full brain
3. Digital Intuition: Applying Common Sense Using Dimensionality Reduction
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Survey of Naturalistic Programming Technologies;ACM Computing Surveys;2018-09-30
2. ANNE;Proceedings of the Tenth ACM International Conference on Web Search and Data Mining;2017-02-02