{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T22:14:28Z","timestamp":1761948868780,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Marsden Fund","award":["MFP-CRP-2101"],"award-info":[{"award-number":["MFP-CRP-2101"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3664646.3664775","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:39:56Z","timestamp":1720640396000},"page":"144-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Programming vs. Artificial Intelligence"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9036-5692","authenticated-orcid":false,"given":"James","family":"Noble","sequence":"first","affiliation":[{"name":"Creative Research & Programming, Wellington, New Zealand \/ Australian National University, Canberra, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"F. L. Bauer and H. W\u00f6ssner. 1972. The \"Plankalkul\" of Konrad Zuse: A Fore- runner of Today\u2019s Programming Languages. Comm. ACM July.","key":"e_1_3_2_1_1_1","DOI":"10.1145\/361454.361515"},{"doi-asserted-by":"crossref","unstructured":"Ayah Bdeir. 2009. Electronics as Material: littleBits. In Tangible and Embedded Interaction (TEI). 397\u2013400.","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1517664.1517743"},{"volume-title":"Machines, Monsters","author":"Brewin Kester","unstructured":"Kester Brewin. 2024. God-Like: A 500-Year History of Artificial Intelligence in Myths, Machines, Monsters. Vaux Books.","key":"e_1_3_2_1_3_1"},{"unstructured":"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","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"No Silver Bullet: Essence and Accidents of Software Engineering","author":"Brooks Frederick P.","year":"1987","unstructured":"Frederick P. Brooks, Jr.. 1987. No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, 20, 4 (1987), April."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/ASE51524.2021.9678559"},{"doi-asserted-by":"crossref","unstructured":"Garett Cunningham Razvan C. Bunescu and David Juedes. 2022. Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. 25\u201332. https:\/\/aclanthology.org\/2022.mathnlp-1.4.pdf","key":"e_1_3_2_1_7_1","DOI":"10.18653\/v1\/2022.mathnlp-1.4"},{"doi-asserted-by":"crossref","unstructured":"Edsger W. Dijkstra. 1978. On the foolishness of \u201cnatural language programming\u201d. circulated privately","key":"e_1_3_2_1_8_1","DOI":"10.1007\/BFb0014656"},{"doi-asserted-by":"publisher","unstructured":"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\u20131241. https:\/\/doi.org\/10.1145\/3611643.3616243 10.1145\/3611643.3616243","key":"e_1_3_2_1_9_1","DOI":"10.1145\/3611643.3616243"},{"unstructured":"Cameron Jones and Benjamin Bergen. 2023. Does GPT-4 Pass the Turing Test? arxiv:2310.20216.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","volume-title":"ACM National Computing Conference.","author":"Kay Alan C.","year":"1972","unstructured":"Alan C. Kay. 1972. A Personal Computer for Children of All Ages. In ACM National Computing Conference."},{"key":"e_1_3_2_1_12_1","volume-title":"Anderson","author":"Lebling P. David","year":"1979","unstructured":"P. David Lebling, Marc S. Blank, and Timothy A. Anderson. 1979. Zork: A Computerized Fantasy Simulation Game. IEEE Computer, 12, 4 (1979), April."},{"unstructured":"Andrew Lensen. 2024. AI + Jobs. New Zealand Herald Also available from andrewlensen.com\/ai-and-jobs","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.18653\/v1"},{"volume-title":"Sneak Peek: The Cloud Block","year":"2014","unstructured":"littleBits. 2014. Sneak Peek: The Cloud Block. http:\/\/littlebits.cc\/cloud.","key":"e_1_3_2_1_15_1"},{"unstructured":"Andrew McChesney. 2014. Great Disappointment Remembered 170 Years On. Adventist Review.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","unstructured":"Jordan Meadows and Andr\u00e9 Freitas. 2022. A Survey in Mathematical Language Processing. CoRR https:\/\/doi.org\/10.48550\/arXiv.2205.15231 10.48550\/arXiv.2205.15231","key":"e_1_3_2_1_17_1","DOI":"10.48550\/arXiv.2205.15231"},{"unstructured":"Jonathan Mostow. 2003. Terminator 3: Rise of the Machines. Warner Bros..","key":"e_1_3_2_1_18_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1109\/ICSE48619.2023.00205"},{"volume-title":"Proceedings, NATO Conference on Software Engineering, Peter Naur and Brian Randell (Eds.)","unstructured":"1968. Proceedings, NATO Conference on Software Engineering, Peter Naur and Brian Randell (Eds.). Garmisch, Germany.","key":"e_1_3_2_1_20_1"},{"unstructured":"Theodor H. Nelson. 1974. Computer Lib\/Dream Machines. Aperture.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1052883.1052890"},{"key":"e_1_3_2_1_23_1","volume-title":"Asia-Pacific Conference on Conceptual Modelling (APCCM).","author":"Noble James","year":"2006","unstructured":"James Noble and Robert Biddle. 2006. Postmodern prospects for conceptual modelling. In Asia-Pacific Conference on Conceptual Modelling (APCCM)."},{"key":"e_1_3_2_1_24_1","volume-title":"Mindstorms: Children, Computers, and Powerful Ideas","author":"Pappert Seymour","year":"1980","unstructured":"Seymour Pappert. 1980. Mindstorms: Children, Computers, and Powerful Ideas. Basic Books."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.18653\/v1\/2023.acl-long.294"},{"volume-title":"The Media Equation: How People Treat Computers, Television, and New Media like Real People and Places","author":"Reeves Byron","unstructured":"Byron Reeves and Clifford Nass. 1996. The Media Equation: How People Treat Computers, Television, and New Media like Real People and Places. Cambridge.","key":"e_1_3_2_1_26_1"},{"volume-title":"History of Programming Languages (HOPL)","author":"Sammet Jean E.","unstructured":"Jean E. Sammet. 1978. The early history of COBOL. In History of Programming Languages (HOPL). Academic Press \/ ACM, 199\u2013243.","key":"e_1_3_2_1_27_1"},{"unstructured":"James Somers. 2023. Begin : End: A Coder Considers the Waning Days of the Craft. The New Yorker Nov..","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","volume-title":"Martin White, and Denys Poshyvanyk.","author":"Tufano Michele","year":"2019","unstructured":"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\u201319:29."},{"volume-title":"The Second Self: Computers and the Human Spirit","author":"Turkle Sherry","unstructured":"Sherry Turkle. 1984. The Second Self: Computers and the Human Spirit. Simon & Schuster, Inc..","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","volume-title":"Dune: Part Two. Legendary Pictures.","author":"Villeneuve Denis","year":"2024","unstructured":"Denis Villeneuve. 2024. Dune: Part Two. Legendary Pictures."},{"key":"e_1_3_2_1_32_1","article-title":"The Programmer\u2019s Apprentice: Knowledge Based Program Editing","volume":"8","author":"Waters Richard C.","year":"1982","unstructured":"Richard C. Waters. 1982. The Programmer\u2019s Apprentice: Knowledge Based Program Editing. IEEE Transactions on Software Engineering, 8, 1 (1982), Jan..","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1145\/365153.365168"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/363534.363545"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1145\/3570220"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"AIware '24","name":"AIware '24: 1st ACM International Conference on AI-Powered Software","location":"Porto de Galinhas Brazil"},"container-title":["Proceedings of the 1st ACM International Conference on AI-Powered Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664775","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3664646.3664775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:45Z","timestamp":1750291425000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":35,"alternative-id":["10.1145\/3664646.3664775","10.1145\/3664646"],"URL":"https:\/\/doi.org\/10.1145\/3664646.3664775","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}