[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/2642937.2642967acmconferencesArticle/Chapter ViewAbstractPublication PagesaseConference Proceedingsconference-collections
research-article

PiE: programming in eliza

Published: 15 September 2014 Publication History

Abstract

Eliza, a primitive example of natural language processing, adopts a rule-based method to conduct simple conversations with people. In this paper, we extend Eliza for a novel application. We propose a system to assist with program synthesis called Programming in Eliza (PiE). According to a set of rules, PiE can automatically synthesize programs from natural language conversations between Eliza and users. PiE is useful for programming in domain-specific languages. We have implemented PiE to synthesize programs in the LOGO programming language, and our experimental results show that, on average, the success ratio is 88.4% for synthesizing LOGO programs from simple conversations with Eliza. PiE also enables end-users with no experience to program in LOGO with a smoother learning curve.

References

[1]
B. W. Ballard and A. W. Biermann. Programming in natural language: "NLC" as a prototype. In Proc. of the 1979 annual conference. ACM, 1979.
[2]
A. Begel. Programming by voice: A domain-specific application of speech recognition. In AVIOS Speech Tech. Symposium--SpeechTek West, 2005.
[3]
A. W. Biermann, B. W. Ballard, and A. H. Sigmon. An experimental study of natural language programming. International J. of man-machine studies, 1983.
[4]
E. Brill. A simple rule-based part of speech tagger. In Proc. of the workshop on Speech and Natural Language, 1992.
[5]
E. W. Dijkstra. On the foolishness of "natural language programming". Program Construction, 1979.
[6]
W. Feurzeig and S. Papert. LOGO. ODP-Open Directory Project, 1967.
[7]
S. Gulwani. Automating string processing in spreadsheets using input-output examples. In POPL, 2011.
[8]
S. Gulwani, V. A. Korthikanti, and A. Tiwari. Synthesizing geometry constructions. In PLDI, 2011.
[9]
S. Gulwani and M. Marron. NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, 2014.
[10]
B. Kendrick. Web turtle, 1997. sonic.net/~nbs/webturtle.
[11]
H. Kress-Gazit, T. Wongpiromsarn, and U. Topcu. Correct, reactive, high-level robot control. Robotics & Automation Magazine, IEEE, 2011.
[12]
V. Le, S. Gulwani, and Z. Su. SmartSynth: Synthesizing smartphone automation scripts from natural language. In Proc. of the 11th annual int'l conf. on Mobile systems, applications, and services. ACM, 2013.
[13]
H. Lieberman and H. Liu. Feasibility studies for programming in natural language. In End User Development, pages 459--473. Springer, 2006.
[14]
M. R. Maly, M. Lahijanian, L. E. Kavraki, H. K. Gazit, and M. Y. Vardi. Iterative temporal motion planning for hybrid systems in partially unknown environments. In Proc. of Int'l conf. on Hybrid systems: computation & control, 2013.
[15]
Z. Manna and R. Waldinger. A deductive approach to program synthesis. ACM TOPLAS, 1980.
[16]
S. Papert. A computer laboratory for elementary schools. Artificial Intelligence Memo, 1971.
[17]
Roget. Roget's Thesaurus. Longman Group, 1982.
[18]
R. Singh, S. Gulwani, and S. K. Rajamani. Automatically generating algebra problems. In AAAI, 2012.
[19]
R. Singh, S. Gulwani, and A. Solar-Lezama. Automated feedback generation for introductory programming assignments. In PLDI. ACM, 2013.
[20]
R. Vlas and W. N. Robinson. A rule-based natural language technique for requirements discovery and classification in open-source software development projects. In System Sciences (HICSS), 2011 44th Hawaii Int'l Conf. on, 2011.
[21]
R. J. Waldinger and R. C. Lee. PROW: A step toward automatic program writing. In IJCAI, 1969.
[22]
J. Weizenbaum. ELIZA--a computer program for the study of natural language communication between man and machine. Communications of the ACM, 1966.

Cited By

View all
  • (2019)A Lightweight Framework for Regular Expression Verification2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)10.1109/HASE.2019.00011(1-8)Online publication date: Jan-2019
  • (2018)From Natural Language to Programming LanguageInnovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming10.4018/978-1-5225-5969-6.ch004(110-130)Online publication date: 2018
  • (2017)Automated Synthesis of Access Control Lists2017 International Conference on Software Security and Assurance (ICSSA)10.1109/ICSSA.2017.26(104-109)Online publication date: Jul-2017

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
September 2014
934 pages
ISBN:9781450330138
DOI:10.1145/2642937
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. eliza
  2. logo
  3. natural language
  4. program synthesis
  5. rule-based

Qualifiers

  • Research-article

Conference

ASE '14
Sponsor:

Acceptance Rates

ASE '14 Paper Acceptance Rate 82 of 337 submissions, 24%;
Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 12 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2019)A Lightweight Framework for Regular Expression Verification2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)10.1109/HASE.2019.00011(1-8)Online publication date: Jan-2019
  • (2018)From Natural Language to Programming LanguageInnovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming10.4018/978-1-5225-5969-6.ch004(110-130)Online publication date: 2018
  • (2017)Automated Synthesis of Access Control Lists2017 International Conference on Software Security and Assurance (ICSSA)10.1109/ICSSA.2017.26(104-109)Online publication date: Jul-2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media