Macho: Writing Programs with Natural Language and Examples
Cozzie, Anthony E.; King, Samuel
Loading…
Permalink
https://hdl.handle.net/2142/33791
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.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.