{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:11:09Z","timestamp":1768259469756,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["1187122N"],"award-info":[{"award-number":["1187122N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,23]]},"DOI":"10.1145\/3623476.3623512","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:45:16Z","timestamp":1697723116000},"page":"138-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Cross-Level Debugging for Static Analysers"],"prefix":"10.1145","author":[{"given":"Mats","family":"Van Molle","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bram","family":"Vandenbogaerde","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290357"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3184558.3185969"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_4_1","volume-title":"11th International Conference (CC","volume":"178","author":"Cousot Patrick","year":"2002","unstructured":"Patrick Cousot and Radhia Cousot . 2002 . Modular Static Program Analysis. In Compiler Construction , 11th International Conference (CC 2002), R. Nigel Horspool (Ed.) (Lecture Notes in Computer Science , Vol. 2304). Springer, 159\u2013 178 . Patrick Cousot and Radhia Cousot. 2002. Modular Static Program Analysis. In Compiler Construction, 11th International Conference (CC 2002), R. Nigel Horspool (Ed.) (Lecture Notes in Computer Science, Vol. 2304). Springer, 159\u2013178."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110256"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5220\/0011849900003464"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2868349"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863553"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500604"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360602"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892664.2892679"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019734"},{"key":"e_1_3_2_1_13_1","volume-title":"Cetus Users and Compiler Infrastructure Workshop (CETUS","author":"Lam Patrick","year":"2011","unstructured":"Patrick Lam , Eric Bodden , Ond\u0159ej Lhot\u00e1k , and Laurie Hendren . 2011 . The Soot framework for Java program analysis: a retrospective . In Cetus Users and Compiler Infrastructure Workshop (CETUS 2011). https:\/\/www.bodden.de\/pubs\/lblh11soot.pdf Patrick Lam, Eric Bodden, Ond\u0159ej Lhot\u00e1k, and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective. In Cetus Users and Compiler Infrastructure Workshop (CETUS 2011). https:\/\/www.bodden.de\/pubs\/lblh11soot.pdf"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426422.3426982"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434334"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11245-5_12"},{"key":"e_1_3_2_1_17_1","volume-title":"Control-flow analysis of higher-order languages or taming lambda","author":"Shivers Olin Grigsby","unstructured":"Olin Grigsby Shivers . 1991. Control-flow analysis of higher-order languages or taming lambda . Carnegie Mellon University . Olin Grigsby Shivers. 1991. Control-flow analysis of higher-order languages or taming lambda. Carnegie Mellon University."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.10.001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM55253.2022.00028"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360552"}],"event":{"name":"SLE '23: 16th ACM SIGPLAN International Conference on Software Language Engineering","location":"Cascais Portugal","acronym":"SLE '23","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623476.3623512","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:51:00Z","timestamp":1750287060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623476.3623512"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":20,"alternative-id":["10.1145\/3623476.3623512","10.1145\/3623476"],"URL":"https:\/\/doi.org\/10.1145\/3623476.3623512","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}