Files in this item

FilesDescriptionFormat

application/pdf

application/pdfpaper.pdf (893Kb)
(no description provided)PDF

Description

Title:Macho: Writing Programs with Natural Language and Examples
Author(s):Cozzie, Anthony E.; King, Samuel
Subject(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.
Issue Date:2012-08-27
Genre:Article
Type:Text
Language:English
URI:http://hdl.handle.net/2142/33791
Publication Status:published or submitted for publication
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2012-08-27


This item appears in the following Collection(s)

Item Statistics

  • Total Downloads: 426
  • Downloads this Month: 0
  • Downloads Today: 0