{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:33Z","timestamp":1750309293272,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T00:00:00Z","timestamp":1718841600000},"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":[[2024,6,20]]},"DOI":"10.1145\/3652588.3663324","type":"proceedings-article","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T16:58:51Z","timestamp":1718902731000},"page":"60-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Misconceptions about Loops in C"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4216-7151","authenticated-orcid":false,"given":"Martin","family":"Brain","sequence":"first","affiliation":[{"name":"City, University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3045-1472","authenticated-orcid":false,"given":"Mahdi","family":"Malkawi","sequence":"additional","affiliation":[{"name":"City, University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Competition on Software Verification (SV-COMP). https:\/\/sv-comp.sosy-lab.org\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Ravi Sethi, and Jeffrey David Ullman.","author":"Aho Alfred Vaino","year":"2006","unstructured":"Alfred Vaino Aho, Monica Sin-Ling Lam, Ravi Sethi, and Jeffrey David Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/390013.808479"},{"volume-title":"Safety Verification and Refutation by k-Invariants and k-Induction","author":"Brain Martin","key":"e_1_3_2_1_4_1","unstructured":"Martin Brain, Saurabh Joshi, Daniel Kroening, and Peter Schrammel. 2015. Safety Verification and Refutation by k-Invariants and k-Induction. In Static Analysis, Sandrine Blazy and Thomas Jensen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 145\u2013161. isbn:978-3-662-48288-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"Martin Brain and Mahdi Malkawi. 2024. [artifact] Misconceptions About Loops in C. https:\/\/doi.org\/10.5281\/zenodo.11113582 10.5281\/zenodo.11113582","DOI":"10.5281\/zenodo.11113582"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/640128.604141"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.34727\/2020"},{"key":"e_1_3_2_1_8_1","volume-title":"Re: Explanation, please!. Usenet","author":"Duff Tom","year":"1988","unstructured":"Tom Duff. 1988. Re: Explanation, please!. Usenet. http:\/\/doc.cat-v.org\/bell_labs\/duffs_device"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/262004.262005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321832.321835"},{"key":"e_1_3_2_1_11_1","unstructured":"Brian Wilson Kernighan and Dennis MacAlistair Ritchie. 1978. The C Programming Language. Bell Telephone Laboratories Incorporated."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80043-7"},{"key":"e_1_3_2_1_13_1","volume-title":"Duff\u2019s device","author":"Lourseyre Chlo\u00e9","year":"2021","unstructured":"Chlo\u00e9 Lourseyre. 2021. Duff\u2019s device in 2021. https:\/\/belaycpp.com\/2021\/11\/18\/duffs-device-in-2021\/"},{"key":"e_1_3_2_1_14_1","volume-title":"CEUR Workshop Proceedings, 1639","author":"Neville Daniel","year":"2016","unstructured":"Daniel Neville, Andrew Malton, Martin Brain, and Daniel Kroening. 2016. Towards automated bounded model checking of API implementations. CEUR Workshop Proceedings, 1639, 31\u201342."},{"volume-title":"Notes on graph algorithms used in optimizing compilers","author":"Offner Carl D.","key":"e_1_3_2_1_15_1","unstructured":"Carl D. Offner. 2013. Notes on graph algorithms used in optimizing compilers. University of Massachusetts Boston. https:\/\/www.cs.umb.edu\/~offner\/files\/flow_graph.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICLP.2012.72"},{"key":"e_1_3_2_1_17_1","volume-title":"Formal Methods for Industrial Critical Systems, Manuel N\u00fa\u00f1ez and Matthias G\u00fcdemann (Eds.)","author":"Schrammel Peter","year":"1945","unstructured":"Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, and Tom Bienm\u00fcller. 2015. Successful Use of Incremental BMC in the Automotive Industry. In Formal Methods for Industrial Critical Systems, Manuel N\u00fa\u00f1ez and Matthias G\u00fcdemann (Eds.). Springer International Publishing, Cham. 62\u201377. isbn:978-3-319-19458-5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0419-1"},{"key":"e_1_3_2_1_19_1","unstructured":"Kaitlyn Siu and Marcelo Badari. 2022. What\u2019s A Loop : A Tree House Adventure. Wayland. isbn:978-1526315717"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1059"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2017.18"},{"key":"e_1_3_2_1_22_1","unstructured":"Simon Tatham. 2000. Coroutines in C. https:\/\/www.chiark.greenend.org.uk\/~sgtatham\/coroutines.html"},{"volume-title":"Application of Abstract Interpretation to the Automotive Electronic Control System","author":"Yamaguchi Tomoya","key":"e_1_3_2_1_23_1","unstructured":"Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, and Yoshiumi Kawamura. 2019. Application of Abstract Interpretation to the Automotive Electronic Control System. In Verification, Model Checking, and Abstract Interpretation, Constantin Enea and Ruzica Piskac (Eds.). Springer International Publishing, Cham. 425\u2013445. isbn:978-3-030-11245-5"}],"event":{"name":"SOAP '24: 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"SOAP '24"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652588.3663324","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652588.3663324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:30Z","timestamp":1750291410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652588.3663324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,20]]},"references-count":23,"alternative-id":["10.1145\/3652588.3663324","10.1145\/3652588"],"URL":"https:\/\/doi.org\/10.1145\/3652588.3663324","relation":{},"subject":[],"published":{"date-parts":[[2024,6,20]]},"assertion":[{"value":"2024-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}