{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:47Z","timestamp":1750309307871,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3618305.3623589","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:36:31Z","timestamp":1697722591000},"page":"13-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Versioning for Python Programs"],"prefix":"10.1145","author":[{"given":"Lu\u00eds","family":"Carvalho","sequence":"first","affiliation":[{"name":"NOVA University Lisbon, Lisboa, Portugal \/ NOVA-LINCS, Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Semantic Versioning 2.0.0. www.semver.org \t\t\t\t  2023. Semantic Versioning 2.0.0. www.semver.org"},{"key":"e_1_3_2_1_2_1","unstructured":"Jacob Austin. 2021. Program synthesis with large language models. arXiv:2108.07732 \t\t\t\t  Jacob Austin. 2021. Program synthesis with large language models. arXiv:2108.07732"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479416"},{"key":"e_1_3_2_1_4_1","unstructured":"Siwei Cui. 2021. PYInfer: Deep Learning Semantic Type Inference for Python Variables. arXiv:2106.14316 \t\t\t\t  Siwei Cui. 2021. PYInfer: Deep Learning Semantic Type Inference for Python Variables. arXiv:2106.14316"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549114"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510203"},{"key":"e_1_3_2_1_7_1","volume-title":"Scalpel: The python static analysis framework. arXiv:2202.11840","author":"Li Li","year":"2022","unstructured":"Li Li . 2022 . Scalpel: The python static analysis framework. arXiv:2202.11840 Li Li. 2022. Scalpel: The python static analysis framework. arXiv:2202.11840"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Stuart McIlroy. 2016. Fresh apps: an empirical study of frequently-updated mobile apps in the Google play store. 1346\u20131370 pages. issn:1382-3256 1573-7616 \t\t\t\t  Stuart McIlroy. 2016. Fresh apps: an empirical study of frequently-updated mobile apps in the Google play store. 1346\u20131370 pages. issn:1382-3256 1573-7616","DOI":"10.1007\/s10664-015-9388-2"},{"key":"e_1_3_2_1_9_1","volume-title":"ECOOP","author":"Monat Rapha\u00ebl","year":"2020","unstructured":"Rapha\u00ebl Monat . 2020 . Static type analysis by abstract interpretation of Python programs . In ECOOP 2020. Rapha\u00ebl Monat. 2020. Static type analysis by abstract interpretation of Python programs. In ECOOP 2020."},{"key":"e_1_3_2_1_10_1","volume-title":"Codegen: An open large language model for code with multi-turn program synthesis. arXiv:2203.13474","author":"Nijkamp Erik","year":"2022","unstructured":"Erik Nijkamp . 2022 . Codegen: An open large language model for code with multi-turn program synthesis. arXiv:2203.13474 Erik Nijkamp. 2022. Codegen: An open large language model for code with multi-turn program synthesis. arXiv:2203.13474"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.04.008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Lyuye Zhang. 2022. Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing. arXiv:2209.00393 \t\t\t\t  Lyuye Zhang. 2022. Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing. arXiv:2209.00393","DOI":"10.1145\/3551349.3556956"}],"event":{"name":"SPLASH '23: 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Cascais Portugal","acronym":"SPLASH '23"},"container-title":["Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623589","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:46Z","timestamp":1750291426000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3618305.3623589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":14,"alternative-id":["10.1145\/3618305.3623589","10.1145\/3618305"],"URL":"https:\/\/doi.org\/10.1145\/3618305.3623589","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}