{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:16Z","timestamp":1750309096701,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"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":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3567512.3567525","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:22:55Z","timestamp":1669929775000},"page":"148-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Property Probes: Source Code Based Exploration of Program Analysis Results"],"prefix":"10.1145","author":[{"given":"Anton","family":"Risberg Alak\u00fcla","sequence":"first","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"G\u00f6rel","family":"Hedin","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Niklas","family":"Fors","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Adrian","family":"Pop","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Apache(tm) FOP - a print formatter driven by XSL formatting objects (XSL-FO) and an output independent formatter. \u2014 xmlgraphics.apache.org. https:\/\/xmlgraphics.apache.org\/fop\/ [Accessed 28-Jun-2022] \t\t\t\t  [n. d.]. Apache(tm) FOP - a print formatter driven by XSL formatting objects (XSL-FO) and an output independent formatter. \u2014 xmlgraphics.apache.org. https:\/\/xmlgraphics.apache.org\/fop\/ [Accessed 28-Jun-2022]"},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Clang Static Analyzer \u2014 clang-analyzer.llvm.org. https:\/\/clang-analyzer.llvm.org\/ [Accessed 22-Jun-2022] \t\t\t\t  [n. d.]. Clang Static Analyzer \u2014 clang-analyzer.llvm.org. https:\/\/clang-analyzer.llvm.org\/ [Accessed 22-Jun-2022]"},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. JastAdd API Docs \u2014 extendj.org. http:\/\/extendj.org\/doc\/ [Accessed 28-Jun-2022] \t\t\t\t  [n. d.]. JastAdd API Docs \u2014 extendj.org. http:\/\/extendj.org\/doc\/ [Accessed 28-Jun-2022]"},{"volume-title":"d.]","year":"2022","key":"e_1_3_2_1_4_1","unstructured":"[n. d.] . Monaco Editor \u2014 microsoft.github.io. https:\/\/microsoft.github.io\/monaco-editor\/ [Accessed 22- Jun- 2022 ] [n. d.]. Monaco Editor \u2014 microsoft.github.io. https:\/\/microsoft.github.io\/monaco-editor\/ [Accessed 22-Jun-2022]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180175"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970315"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297029"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.02.002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2986012.2986026"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2018.00036"},{"key":"e_1_3_2_1_12_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 \u2013 317 . G\u00f6rel Hedin. 2000. Reference attributed grammars. Informatica (Slovenia), 24, 3 (2000), 301\u2013317.","journal-title":"Informatica (Slovenia)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997378"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Jakob Nielsen. 1993. Response times: the three important limits. Usability Engineering. \t\t\t\t  Jakob Nielsen. 1993. Response times: the three important limits. Usability Engineering.","DOI":"10.1016\/B978-0-08-052029-2.50007-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358711.3361627"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM52516.2021.00009"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49051-7_2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/LIVE.2013.6617346"},{"key":"e_1_3_2_1_19_1","first-page":"5","article-title":"Origin tracking","volume":"15","author":"Deursen Arie Van","year":"1993","unstructured":"Arie Van Deursen , Paul Klint , and Frank Tip . 1993 . Origin tracking . Journal of Symbolic Computation , 15 , 5 - 6 (1993), 523\u2013545. Arie Van Deursen, Paul Klint, and Frank Tip. 1993. Origin tracking. Journal of Symbolic Computation, 15, 5-6 (1993), 523\u2013545.","journal-title":"Journal of Symbolic Computation"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the ACM SIGPLAN\u201989 Conference on Programming Language Design and Implementation (PLDI)","author":"Vogt Harald","year":"1989","unstructured":"Harald Vogt , S. Doaitse Swierstra , and Matthijs F. Kuiper . 1989. Higher-Order Attribute Grammars . In Proceedings of the ACM SIGPLAN\u201989 Conference on Programming Language Design and Implementation (PLDI) , Portland, Oregon, USA , June 21-23, 1989 , Richard L. Wexelblat (Ed.). ACM, 131\u2013145. Harald Vogt, S. Doaitse Swierstra, and Matthijs F. Kuiper. 1989. Higher-Order Attribute Grammars. In Proceedings of the ACM SIGPLAN\u201989 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989, Richard L. Wexelblat (Ed.). ACM, 131\u2013145."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_16"}],"event":{"name":"SLE '22: 15th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"SLE '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567525","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3567512.3567525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:47Z","timestamp":1750286627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":21,"alternative-id":["10.1145\/3567512.3567525","10.1145\/3567512"],"URL":"https:\/\/doi.org\/10.1145\/3567512.3567525","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}