research-article

Automatic Programming: Myths and Prospects

Authors:

Charles Rich and

Richard C. WatersAuthors Info & Claims

Computer, Volume 21, Issue 8

Pages 40 - 51

https://doi.org/10.1109/2.75

Published: 01 August 1988 Publication History

Publisher Site

Abstract

The authors consider five common myths about automatic programming and expose the fallacies on which they rest. They attempt to provide an accurate picture of these systems in terms of what the user sees, how the system works, and what the system knows. They describe commercially available systems and discuss what is on the horizon.

References

[1]

1. D.R. Barstow, "A Perspective on Automatic Programming," AI Magazine, Vol. 5, No. 1, Spring 1984, pp. 5-27.

Google Scholar

[2]

2. J.M. Neighbors, "The Draco Approach to Constructing Software from Reusable Components," IEEE Trans. Software Eng., Vol. 10, No. 5, Sept. 1984, pp. 564-574.

Digital Library

Google Scholar

[3]

3. J. Cohen, "Describing Prolog by Its Interpretation and Compilation," Comm. ACM, Vol. 28, No. 12, Dec. 1985, pp. 1311-1324.

Digital Library

Google Scholar

[4]

4. J.T. Schwartz et al., Programming with Sets: An Introduction to SETL, Springer-Verlag, New York, 1986.

Digital Library

Google Scholar

[5]

5. L.M. Abraido-Fandiño, "An Overview of Refine 2.0," Proc. Second Int'l Symp. Knowledge Eng.-Software Eng., Madrid, Apr. 1987.

Google Scholar

[6]

6. R.M. Balzer, "A 15-Year Perspective on Automatic Programming," IEEE Trans. Software Eng., Vol. 11, No. 11, Nov. 1985, pp. 1257-1267 (special issue on artificial intelligence and software engineering).

Digital Library

Google Scholar

[7]

7. Z. Manna and R. Waldinger, "A Deductive Approach to Program Synthesis," ACM Trans. Programming Languages and Systems , Vol. 2, No. 1, Jan. 1980, pp. 90-121.

Digital Library

Google Scholar

[8]

8. H. Partsch and T. Steinbrüggen, "Program Transformation Systems," ACM Computing Surveys, Vol. 15, No. 3, Sept. 1983, pp. 199-236.

Digital Library

Google Scholar

[9]

9. T.E. Cheatham, "Reusability Through Program Transformation," IEEE Trans. Software Eng., Vol. 19, No. 5, Sept. 1984, pp. 589-595.

Digital Library

Google Scholar

[10]

10. R.C. Waters, "The Programmer's Apprentice: A Session with KBEmacs," IEEE Trans. Software Eng., Vol. 11, No. 11, Nov. 1985, pp. 1296-1320 (special issue on artificial intelligence and software engineering).

Digital Library

Google Scholar

[11]

11. C. Rich, "A Formal Representation for Plans in the Programmer's Apprentice," Proc. Seventh Int'l Joint Conf. Artificial Intelligence, Morgan Kaufmann, Los Altos, Calif., 1981, pp. 1044-1052.

Google Scholar

[12]

12. G. Gruman, "Study Criticizes Defense Dept. Development, Acquisition," IEEE Software, Vol. 5, No. 1, Jan. 1988, p. 87.

Google Scholar

Cited By

View all

Martini SMonga MLonati VBarendsen ESheard JPaterson J(2024)Teaching Programming in the Age of Generative AIProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653527(1-2)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653527
Breaux TMoritz JHaiduc SSchneider J(2023)A Metric for Measuring Software Engineering Post-Graduate OutcomesProceedings of the 45th International Conference on Software Engineering: Software Engineering Education and Training10.1109/ICSE-SEET58685.2023.00032(283-295)Online publication date: 17-May-2023
https://dl.acm.org/doi/10.1109/ICSE-SEET58685.2023.00032
Lewis C(2022)Automatic Programming and EducationCompanion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming10.1145/3532512.3539664(70-80)Online publication date: 21-Mar-2022
https://dl.acm.org/doi/10.1145/3532512.3539664
Show More Cited By

Recommendations

Backing and undercutting in defeasible logic programming
ECSQARU'11: Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty

Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of attack. Defeasible Logic ...
Read More
Defeasible logic programming: an argumentative approach

The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a ...
Read More
Automatic graders for programming classes

Fifteen months ago the first version of an “automatic grader” was tried with a group of twenty students taking a formal course in programming. The first group of twenty programs took only five minutes on the computer (an IBM 650). With such a ...
Read More

Comments

Information & Contributors

Information

Published In

Computer Volume 21, Issue 8

August 1988

81 pages

ISSN:0018-9162

Editor:
Bruce D. Shriver
IBM T. J. Watson Research Center, Yorktown Heights, NY

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 August 1988

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

View all

Martini SMonga MLonati VBarendsen ESheard JPaterson J(2024)Teaching Programming in the Age of Generative AIProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653527(1-2)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653527
Breaux TMoritz JHaiduc SSchneider J(2023)A Metric for Measuring Software Engineering Post-Graduate OutcomesProceedings of the 45th International Conference on Software Engineering: Software Engineering Education and Training10.1109/ICSE-SEET58685.2023.00032(283-295)Online publication date: 17-May-2023
https://dl.acm.org/doi/10.1109/ICSE-SEET58685.2023.00032
Lewis C(2022)Automatic Programming and EducationCompanion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming10.1145/3532512.3539664(70-80)Online publication date: 21-Mar-2022
https://dl.acm.org/doi/10.1145/3532512.3539664
O’Neill MSpector L(2020)Automatic programming: The open issue?Genetic Programming and Evolvable Machines10.1007/s10710-019-09364-221:1-2(251-262)Online publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1007/s10710-019-09364-2
Lynch DMcDermott JO’Neill M(2020)Program Synthesis in a Continuous Space Using Grammars and Variational AutoencodersParallel Problem Solving from Nature – PPSN XVI10.1007/978-3-030-58115-2_3(33-47)Online publication date: 5-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-58115-2_3
Mohr FCrnkovic IChechik MGrünbacher P(2014)Issues of automated software composition in AI planningProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2653470(895-898)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2642937.2653470
Ronell MKruchten PMalek S(2013)Safety concerns regarding the use of visual programming in civilian avionics softwareProceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems10.1145/2465470.2465477(33-38)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465470.2465477
Gill NTomar P(2010)Modified development process of component-based software engineeringACM SIGSOFT Software Engineering Notes10.1145/1734103.173412035:2(1-6)Online publication date: 27-Mar-2010
https://dl.acm.org/doi/10.1145/1734103.1734120
Kennedy K(2008)A concurrent automatic programming systemProceedings of the 46th Annual Southeast Regional Conference on XX10.1145/1593105.1593129(94-98)Online publication date: 28-Mar-2008
https://dl.acm.org/doi/10.1145/1593105.1593129
Krishnamurthi SFisler KDougherty DYoo DHarrold MMurphy G(2008)AlchemyProceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering10.1145/1453101.1453123(158-169)Online publication date: 9-Nov-2008
https://dl.acm.org/doi/10.1145/1453101.1453123
Show More Cited By

Abstract

References

Cited By

Recommendations

Backing and undercutting in defeasible logic programming

Defeasible logic programming: an argumentative approach

Automatic graders for programming classes

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations