Automatic Programming vs. Artificial Intelligence
Author: 
James NobleAuthors Info & Claims
Pages 144 - 146
Abstract
Ever since we began programming in the 1950s, there have been two diametrically opposed tendencies within computer science and software engineering: on the left side of the Glorious Throne of Alan Turing, the tendency to perfect the Art of Computer Programming, and on the right side, the tendency to end it. These tendencies can be seen from the Manchester Mark I's "autocode" removing the need for programmers shortly after WW2; COBOL being a language that could be "read by the management"; to contemporary "no-code" development environments; and the idea that large language models herald "The End of Programming". This vision paper looks at what AI will not change about software systems, and the people who must use them, and necessarily must build them. Rather than neglecting 50 years of history, theory, and practice, and assuming programming can, will, and should be ended by AI, we speculate on how AI has, already does, and will continue to perfect one of the peak activities of being human: programming.
References
[1]
F. L. Bauer and H. Wössner. 1972. The "Plankalkul" of Konrad Zuse: A Fore- runner of Today’s Programming Languages. Comm. ACM, July.
[2]
Ayah Bdeir. 2009. Electronics as Material: littleBits. In Tangible and Embedded Interaction (TEI). 397–400.
[3]
Kester Brewin. 2024. God-Like: A 500-Year History of Artificial Intelligence in Myths, Machines, Monsters. Vaux Books.
[4]
Kester Brewin. 2024. Why I wrote an AI transparency statement for my book, and think other authors should too. The Guardian, Available from www.theguardian.com/books/2024/apr/04/why-i-wrote-an-ai-transparency-statement-for-my-book-and-think-other-authors-should-too
[5]
Frederick P. Brooks, Jr. 1987. No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, 20, 4 (1987), April.
[6]
Saikat Chakraborty and Baishakhi Ray. 2021. On Multi-Modal Learning of Editing Source Code. In Automated Software Engineering (ASE). IEEE, 443–455. https://doi.org/10.1109/ASE51524.2021.9678559
[7]
Garett Cunningham, Razvan C. Bunescu, and David Juedes. 2022. Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. 25–32. https://aclanthology.org/2022.mathnlp-1.4.pdf
[8]
Edsger W. Dijkstra. 1978. On the foolishness of “natural language programming”. circulated privately
[9]
Emily First, Markus N. Rabe, Talia Ringer, and Yuriy Brun. 2023. Baldur: Whole-Proof Generation and Repair with Large Language Models. In Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Satish Chandra, Kelly Blincoe, and Paolo Tonella (Eds.). 1229–1241. https://doi.org/10.1145/3611643.3616243
[10]
Cameron Jones and Benjamin Bergen. 2023. Does GPT-4 Pass the Turing Test? arxiv:2310.20216.
[11]
Alan C. Kay. 1972. A Personal Computer for Children of All Ages. In ACM National Computing Conference.
[12]
P. David Lebling, Marc S. Blank, and Timothy A. Anderson. 1979. Zork: A Computerized Fantasy Simulation Game. IEEE Computer, 12, 4 (1979), April.
[13]
Andrew Lensen. 2024. AI + Jobs. New Zealand Herald, Also available from andrewlensen.com/ai-and-jobs
[14]
Yifei Li, Zeqi Lin, Shizhuo Zhang, Qiang Fu, Bei Chen, Jian-Guang Lou, and Weizhu Chen. 2023. Making Language Models Better Reasoners with Step-Aware Verifier. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Anna Rogers, Jordan Boyd-Graber, and Naoaki Okazaki (Eds.). Association for Computational Linguistics, Toronto, Canada. 5315–5333. https://doi.org/10.18653/v1/2023.acl-long.291
[15]
littleBits. 2014. Sneak Peek: The Cloud Block. http://littlebits.cc/cloud.
[16]
Andrew McChesney. 2014. Great Disappointment Remembered 170 Years On. Adventist Review.
[17]
Jordan Meadows and André Freitas. 2022. A Survey in Mathematical Language Processing. CoRR, https://doi.org/10.48550/arXiv.2205.15231
[18]
Jonathan Mostow. 2003. Terminator 3: Rise of the Machines. Warner Bros.
[19]
Noor Nashid, Mifta Sintaha, and Ali Mesbah. 2023. Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning. In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE, 2450–2462. https://doi.org/10.1109/ICSE48619.2023.00205
[20]
1968. Proceedings, NATO Conference on Software Engineering, Peter Naur and Brian Randell (Eds.). Garmisch, Germany.
[21]
Theodor H. Nelson. 1974. Computer Lib/Dream Machines. Aperture.
[22]
James Noble and Robert Biddle. 2004. Notes on notes on postmodern programming. ACM SIGPLAN Notices, 39, 12 (2004), 40–56.
[23]
James Noble and Robert Biddle. 2006. Postmodern prospects for conceptual modelling. In Asia-Pacific Conference on Conceptual Modelling (APCCM).
[24]
Seymour Pappert. 1980. Mindstorms: Children, Computers, and Powerful Ideas. Basic Books.
[25]
Shuofei Qiao, Yixin Ou, Ningyu Zhang, Xiang Chen, Yunzhi Yao, Shumin Deng, Chuanqi Tan, Fei Huang, and Huajun Chen. 2023. Reasoning with Language Model Prompting: A Survey. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023, Anna Rogers, Jordan L. Boyd-Graber, and Naoaki Okazaki (Eds.). Association for Computational Linguistics, 5368–5393. https://doi.org/10.18653/V1/2023.ACL-LONG.294
[26]
Byron Reeves and Clifford Nass. 1996. The Media Equation: How People Treat Computers, Television, and New Media like Real People and Places. Cambridge.
[27]
Jean E. Sammet. 1978. The early history of COBOL. In History of Programming Languages (HOPL). Academic Press / ACM, 199–243.
[28]
James Somers. 2023. Begin : End: A Coder Considers the Waning Days of the Craft. The New Yorker, Nov.
[29]
Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk. 2019. An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation. TOSEM, 28, 4 (2019), 19:1–19:29.
[30]
Sherry Turkle. 1984. The Second Self: Computers and the Human Spirit. Simon & Schuster, Inc.
[31]
Denis Villeneuve. 2024. Dune: Part Two. Legendary Pictures.
[32]
Richard C. Waters. 1982. The Programmer’s Apprentice: Knowledge Based Program Editing. IEEE Transactions on Software Engineering, 8, 1 (1982), Jan.
[33]
Joseph Weizenbaum. 1966. ELIZA—a computer program for the study of natural language communication between man and machine. Commun. ACM, 9, 1 (1966), Jan., 36–45. https://doi.org/10.1145/365153.365168
[34]
Joseph Weizenbaum. 1967. Contextual understanding by computers. Commun. ACM, 10, 8 (1967), Aug., 474–480. https://doi.org/10.1145/363534.363545
[35]
Matt Welsh. 2023. The End of Programming. Commun. ACM, 66, 1 (2023), Jan., issn:0001-0782 https://doi.org/10.1145/3570220
Index Terms
- Automatic Programming vs. Artificial Intelligence
Recommendations
Challenge to artificial intelligence: programming problems to be solved
IJCAI'71: Proceedings of the 2nd international joint conference on Artificial intelligenceThis paper is in the nature of a challenge to artificial intelligence experts. It suggests that the techniques of artificial intelligence should be applied to some realistic problems which exist in the programming and data processing fields. After a ...
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...
What Is Object-Oriented Programming?
The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
July 2024
182 pages
ISBN:9798400706851
DOI:10.1145/3664646
- General Chairs:
- Bram Adams,
- Thomas Zimmermann,
- Ipek Ozkaya,
- Program Chairs:
- Dayi Lin,
- Jie M. Zhang
Copyright © 2024 Copyright is held by the owner/author(s). Publication rights licensed to ACM.
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 the author(s) 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: 10 July 2024
Check for updates
Author Tags
Qualifiers
- Short-paper
Funding Sources
- Marsden Fund
Conference
AIware '24
Sponsor:
AIware '24: 1st ACM International Conference on AI-Powered Software
July 15 - 16, 2024
Porto de Galinhas, Brazil
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 414Total Downloads
- Downloads (Last 12 months)414
- Downloads (Last 6 weeks)28
Reflects downloads up to 24 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in