Macho: Writing Programs with Natural Language and Examples

Cozzie, Anthony E.; King, Samuel

Permalink

https://hdl.handle.net/2142/33791 Copy

Description

Title

Macho: Writing Programs with Natural Language and Examples

Author(s)

• Cozzie, Anthony E.
• King, Samuel

Issue Date

2012-08-27

Keyword(s)

• natural language
• examples
• programming
• synthesis

Abstract

Current natural language programming systems avoid the difficulties of dealing with abstract and ambiguous concepts by restricting the input words to those comparable to a normal high-level programming language. Our system, Macho, can write programs from significantly more abstract language by asking the programmer to provide a unit test: one or more examples of correct input and output. This may seem unnecessarily complicated, but we show that natural language and examples have a surprising synergy both in constraining the ambiguity of the specification and in generating correct solutions.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/33791

Owning Collections