Program Synthesis using Natural Language

Programming in natural language: “NLC” as a prototype

B. W. Ballard and A. W. Biermann · 1979

Earlier work this paper cites.

A deductive approach to program synthesis

Z. Manna and R. J. Waldinger · 1980

Earlier work this paper cites.

Learning regular sets from queries and counterexamples

D. Angluin · 1987

Earlier work this paper cites.

Watch What I Do: Programming by Demonstration

A. Cypher, editor · 1993

Earlier work this paper cites.

Natural language interfaces to databases - an introduction

I. Androutsopoulos, G. Ritchie, and P. Thanisch · 1995

Earlier work this paper cites.

NaturalJava: A natural language interface for programming in Java

D. Price, E. Riloff, J. L. Zachary, and B. Harvey · 2000

Earlier work this paper cites.

Your Wish Is My Command: Programming by Example

H. Lieberman · 2001

Earlier work this paper cites.

An efficient boosting algorithm for combining preferences

Y. Freund, R. Iyer, R. E. Schapire, and Y. Singer · 2003

Earlier work this paper cites.

Accurate unlexicalized parsing

D. Klein and C. Manning · 2003

Earlier work this paper cites.

Programming by demonstration using version space algebra

T. Lau, S. Wolfman, P. Domingos, and D. Weld · 2003

Earlier work this paper cites.

Towards a theory of natural language interfaces to databases

A.-M. Popescu, O. Etzioni, and H. A. Kautz · 2003

Earlier work this paper cites.

Nonlinear Programming: 2 nd

D. P. Bertsekas · 2004

Earlier work this paper cites.

Modern natural language interfaces to databases: Composing statistical parsing with semantic tractability

A.-M. Popescu, A. Armanasu, O. Etzioni, D. Ko, and A. Yates · 2004

Earlier work this paper cites.

A statistical semantic parser that integrates syntax and semantics

R. Ge and R. J. Mooney · 2005

Earlier work this paper cites.

Learning to transform natural to formal languages

R. J. Kate, Y. W. Wong, and R. J. Mooney · 2005

Earlier work this paper cites.

Jungloid mining: Helping to navigate the API jungle

D. M. L. Xu, R. Bodík, and D. Kimelman · 2005

Earlier work this paper cites.

Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars

L. Zettlemoyer and M. Collins · 2005

Cited alongside, same era.

Pattern recognition and machine learning , volume 1

C. M. Bishop and N. M. Nasrabadi · 2006

Cited alongside, same era.

Using string-kernels for learning semantic parsers

R. J. Kate and R. J. Mooney · 2006

Cited alongside, same era.

Translating keyword commands into executable code

G. Little and R. C. Miller · 2006

Cited alongside, same era.

Combinatorial sketching for finite programs

A. Solar-Lezama, L. Tancau, R. Bodík, S. A. Seshia, and V. A. Saraswat · 2006

Cited alongside, same era.

Koala: Capture, share, automate, personalize business processes on the web

G. Little, T. A. Lau, A. Cypher, J. Lin, E. M. Haber, and E. Kandogan · 2007

Cited alongside, same era.

A corpus of scope-disambiguated english text

M. Manshadi, J. F. Allen, and M. D. Swift · 2011

Later among the works it cites.

Natural language interfce for database: A brief review

N. Nihalani, S. Silakari, and M. Motwani · 2011

Later among the works it cites.

Synthesis from examples: Interaction models and algorithms

S. Gulwani · 2012

Later among the works it cites.

Spreadsheet data manipulation using examples

S. Gulwani, W. Harris, and R. Singh · 2012

Later among the works it cites.

On the naturalness of software

A. Hindle, E. T. Barr, Z. Su, M. Gabel, and P. Devanbu · 2012

Later among the works it cites.

Wordnet: A lexical database for english

G. A. Miller · 2012

Later among the works it cites.