{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:31:06Z","timestamp":1774456266211,"version":"3.50.1"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T00:00:00Z","timestamp":1734652800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2025,1]]},"abstract":"<jats:p>Why it is unlikely new developments in machine intelligence will eventually make\u00a0programming obsolete.<\/jats:p>","DOI":"10.1145\/3680410","type":"journal-article","created":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T18:32:36Z","timestamp":1733250756000},"page":"33-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["On Program Synthesis and Large Language Models"],"prefix":"10.1145","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4603-5407","authenticated-orcid":false,"given":"Hans","family":"H\u00fcttel","sequence":"first","affiliation":[{"name":"University of Copenhagen, Department of Computer Science, Kobenhavn, Copenhagen Region, Denmark"},{"name":"Aalborg Universitet, Department of Computer Science, Aalborg, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2024,12,20]]},"reference":[{"key":"e_1_3_1_2_2","volume-title":"Specifications for the IBM Mathematical FORmula TRANslating System FORTRAN","author":"Backus J.","year":"1954","unstructured":"Backus, J. et al. Specifications for the IBM Mathematical FORmula TRANslating System FORTRAN. IBM, (Nov. 10, 1954)."},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3589996"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Chapman P. et al. Interleaving Static Analysisand LLM Prompting. In SOAP 2024: Proceedings of the 13th ACM SIGPLAN Intern. Workshop on the State of the Art in Program Analysis; 10.1145\/3652588.3663317","DOI":"10.1145\/3652588.3663317"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014656"},{"key":"e_1_3_1_6_2","unstructured":"GitHub. About GitHub Copilot for individuals. (2024); https:\/\/bit.ly\/40Ocsc5"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"e_1_3_1_8_2","unstructured":"Karpathy A. Status. (2023); https:\/\/bit.ly\/48Qkt2e"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Li H. et al. Assisting static analysis with large language models: A ChatGPT experiment. In Proceedings of the 31st ACM Joint European Software Engineering Conf. and Symp. on the Foundations of Software Engineering (ESEC\/FSE 2023); 10.1145\/3611643.3613078","DOI":"10.1145\/3611643.3613078"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064872"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365274"},{"key":"e_1_3_1_13_2","unstructured":"Qarem O. GPT-3: Programming in English. (July 25 2020); https:\/\/bit.ly\/4fPHxkb"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90006-9"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3570220"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3555367"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3680410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3680410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:26Z","timestamp":1750294706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3680410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,20]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["10.1145\/3680410"],"URL":"https:\/\/doi.org\/10.1145\/3680410","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,20]]},"assertion":[{"value":"2023-04-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-12-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}