{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:03:38Z","timestamp":1755993818362,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","funder":[{"name":"ELLIIT - Excellence Center at Link\u00f6ping \u00f0 Lund in Information Technology","award":["B08"],"award-info":[{"award-number":["B08"]}]},{"name":"Wallenberg AI, Autonomous Systems and Software Program (WASP)","award":["WASP-NEST ShiftLeft"],"award-info":[{"award-number":["WASP-NEST ShiftLeft"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,12]]},"DOI":"10.1145\/3732771.3742720","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T11:04:43Z","timestamp":1750158283000},"page":"148-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Dependency-Based Purity Checking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0814-3367","authenticated-orcid":false,"given":"Anton Risberg","family":"Alak\u00fcla","sequence":"first","affiliation":[{"name":"Lund University, Lund, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2714-9457","authenticated-orcid":false,"given":"Niklas","family":"Fors","sequence":"additional","affiliation":[{"name":"Lund University, Lund, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0608-7023","authenticated-orcid":false,"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[{"name":"Lund University, Lund, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2009.07.003"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111980"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689754"},{"volume-title":"Approaches and Tools for Implementing Type Systems in Xtext","author":"Bettini Lorenzo","key":"e_1_3_2_1_4_1","unstructured":"Lorenzo Bettini, Dietmar Stoll, Markus V\u00f6lter, and Serano Colameo. 2013. Approaches and Tools for Implementing Type Systems in Xtext. In Software Language Engineering, Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 392--412."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814257"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297029"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.02.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647508.2647515"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2008","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008. Automated Whitebox Fuzz Testing. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2008, San Diego, California, USA, 10th February - 13th February 2008. The Internet Society. https:\/\/www.ndss-symposium.org\/ndss2008\/automated-whitebox-fuzz-testing\/"},{"key":"e_1_3_2_1_10_1","first-page":"301","article-title":"Reference Attributed Grammars","volume":"24","author":"Hedin G\u00f6rel","year":"2000","unstructured":"G\u00f6rel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 (2000), 301--317.","journal-title":"Informatica (Slovenia)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297030"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.cs\/0011029"},{"volume-title":"Yacc: a parser generator. UNIX","author":"Johnson Stephen C","key":"e_1_3_2_1_15_1","unstructured":"Stephen C Johnson and Ravi Sethi. 1990. Yacc: a parser generator. UNIX Vol. II: research system (1990), 347--374."},{"volume-title":"Purity checking for reference attribute grammars. Master's thesis","author":"Johnsson Mikael","key":"e_1_3_2_1_16_1","unstructured":"Mikael Johnsson. 2017. Purity checking for reference attribute grammars. Master's thesis. Lund University. https:\/\/lup.lub.lu.se\/luur\/download?func=downloadFile&recordOId=8972742&fileOId=8972743"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/368996.369025"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_18"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635890"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806601"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997378"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99461-7_7"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.06.005"},{"key":"e_1_3_2_1_25_1","volume-title":"Monkey tests for random number generators. Computers & mathematics with applications 26, 9","author":"Marsaglia George","year":"1993","unstructured":"George Marsaglia and Arif Zaman. 1993. Monkey tests for random number generators. Computers & mathematics with applications 26, 9 (1993), 1--10."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_3_2_1_28_1","volume-title":"Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl.","author":"Miller Barton P.","year":"1995","unstructured":"Barton P. Miller, David Koski, Cjin Pheow Lee, Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl. 1995. Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services. Technical Report 1268. University of Wisconsin - Computer Science Dept., Madison, WI 53706-168."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.004"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136014.3136032"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19861-8_7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3687997.3695644"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIIE.2014.7017699"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622840"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_14"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49051-7_2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2011.11.005"},{"key":"e_1_3_2_1_40_1","first-page":"1","article-title":"Silver: An extensible attribute grammar system","volume":"75","author":"Wyk Eric Van","year":"2010","unstructured":"Eric Van Wyk, Derek Bodin, Jimin Gao, and Lijesh Krishnan. 2010. Silver: An extensible attribute grammar system. Science of Computer Programming 75, 1--2 (2010), 39--54.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74830"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605468"}],"event":{"name":"SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Koblenz Germany","acronym":"SLE '25"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732771.3742720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:19:36Z","timestamp":1755915576000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732771.3742720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,12]]},"references-count":42,"alternative-id":["10.1145\/3732771.3742720","10.1145\/3732771"],"URL":"https:\/\/doi.org\/10.1145\/3732771.3742720","relation":{},"subject":[],"published":{"date-parts":[[2025,6,12]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}