{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:50:42Z","timestamp":1756000242657,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"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,10,17]]},"DOI":"10.1145\/3687997.3695644","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:57:44Z","timestamp":1729162664000},"page":"56-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3520-2262","authenticated-orcid":false,"given":"Idriss","family":"Riouak","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-0001-5453-3695","authenticated-orcid":false,"given":"Jesper","family":"\u00d6qvist","sequence":"additional","affiliation":[{"name":"Cognibotics, Lund, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3003-2623","authenticated-orcid":false,"given":"G\u00f6rel","family":"Hedin","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":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M. Abadi B. W. Lampson and J. L\u00e9vy. 1996. Analysis and Caching of Dependencies. ICFP\u201996 6. 83\u201391.","DOI":"10.1145\/232629.232638"},{"volume-title":"Modern Compiler Implementation in C","author":"Appel A. W.","key":"e_1_3_2_1_2_1","unstructured":"A. W. Appel. 1998. Modern Compiler Implementation in C. Cambridge University Press. isbn:0-521-58390-X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"F. Bancilhon D. Maier Y. Sagiv and J. D. Ullman. 1986. Magic Sets and Other Strange Ways to Implement Logic Programs. PODS\u201986. 1\u201315.","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"S. M. Blackburn R. Garner C. Hoffman A. M. Khan K. S. McKinley R. Bentzur A. Diwan D. Feinberg D. Frampton S. Z. Guyer M. Hirzel A. Hosking M. Jump H. Lee J. E. B. Moss A. Phansalkar D. Stefanovi\u0107 T. VanDrunen D. von Dincklage and B. Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. OOPSLA\u201906. 169\u2013190.","DOI":"10.1145\/1167515.1167488"},{"volume-title":"Descriptional Composition of Compiler Components. Ph. D. Dissertation","author":"Boyland J. T.","key":"e_1_3_2_1_5_1","unstructured":"J. T. Boyland. 1996. Descriptional Composition of Compiler Components. Ph. D. Dissertation. University of California, Berkeley."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"M. Bravenboer and Y. Smaragdakis. 2009. Strictly declarative specification of sophisticated points-to analyses. OOPSLA\u201909. 243\u2013262.","DOI":"10.1145\/1639949.1640108"},{"key":"e_1_3_2_1_7_1","first-page":"78","article-title":"QL: Object-oriented queries made easy. GTTSE\u201907","volume":"5235","author":"De Moor O.","year":"2007","unstructured":"O. De Moor, D. Sereni, M. Verbaere, E. Hajiyev, P. Avgustinov, T. Ekman, N. Ongkingco, and J. Tibble. 2007. .QL: Object-oriented queries made easy. GTTSE\u201907, LNCS 5235. 78\u2013133.","journal-title":"LNCS"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"J. Dean D. Grove and C. Chambers. 1995. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP\u201995. 77\u2013101.","DOI":"10.1007\/3-540-49538-X_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"E. Duesterwald R. Gupta and M. L. Soffa. 1995. Demand-driven Computation of Interprocedural Data Flow. POPL\u201995. 37\u201348.","DOI":"10.1145\/199448.199461"},{"key":"e_1_3_2_1_10_1","volume-title":"Clog: A Declarative Language for C Static Code Checkers. CC\u201924. 186\u2013197.","author":"Dura A.","year":"2024","unstructured":"A. Dura and C. Reichenbach. 2024. Clog: A Declarative Language for C Static Code Checkers. CC\u201924. 186\u2013197."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"A. Dura C. Reichenbach and E. S\u00f6derberg. 2021. JavaDL: Automatically Incrementalizing Java Bug Pattern Detection. OOPSLA\u201921. 1\u201331.","DOI":"10.1145\/3485542"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"T. Ekman and G. Hedin. 2007. The JastAdd extensible Java compiler. OOPSLA\u201907. 147\u2013152.","DOI":"10.1145\/1297846.1297881"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"R. Farrow. 1986. Automatic generation of fixed-point-finding evaluators for circular but well-defined attribute grammars. CC\u201986. 85\u201398.","DOI":"10.1145\/12276.13320"},{"key":"e_1_3_2_1_14_1","first-page":"301","article-title":"Reference Attributed Grammars","volume":"24","author":"Hedin G.","year":"2000","unstructured":"G. Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia), 24, 3 (2000), 301\u2013317.","journal-title":"Informatica (Slovenia)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"volume-title":"Statically Scheduling Circular Remote Attribute Grammars. Ph. D. Dissertation","author":"Hesamian S.","key":"e_1_3_2_1_16_1","unstructured":"S. Hesamian. 2023. Statically Scheduling Circular Remote Attribute Grammars. Ph. D. Dissertation. University of Wisconsin-Milwaukee. Theses and Dissertations. 3383"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/35590.35594"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"S. Horwitz T. W. Reps and S. Sagiv. 1995. Demand Interprocedural Dataflow Analysis. FSE\u201995. 104\u2013115.","DOI":"10.1145\/222132.222146"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"L. G. Jones and J. Simon. 1986. Hierarchical VLSI Design Systems Based on Attribute Grammars. POPL\u201986. 58\u201369.","DOI":"10.1145\/512644.512650"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_21_1","volume-title":"Flix: A Declarative Language for Fixed Points on Lattices. PLDI\u201916. 194\u2013208.","author":"Madsen M.","year":"2016","unstructured":"M. Madsen, M. Yee, and O. Lhot\u00e1k. 2016. From Datalog to Flix: A Declarative Language for Fixed Points on Lattices. PLDI\u201916. 194\u2013208."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.06.005"},{"key":"e_1_3_2_1_23_1","unstructured":"E. Magnusson and G. Hedin. 2007. CRAG artifact. https:\/\/bitbucket.org\/jastadd\/crag-artifact Accessed: 2024-09-12"},{"key":"e_1_3_2_1_24_1","unstructured":"F. Nielson H. R. Nielson and C. Hankin. 2010. Principles of Program Analysis. Springer. isbn:3642084745"},{"volume-title":"Contributions to Declarative Implementation of Static Program Analysis. Ph. D. Dissertation","author":"\u00d6qvist J.","key":"e_1_3_2_1_25_1","unstructured":"J. \u00d6qvist. 2018. Contributions to Declarative Implementation of Static Program Analysis. Ph. D. Dissertation. Lund University, Sweden. http:\/\/lup.lub.lu.se\/record\/82b210fc-6d15-4f0a-82ff-24b024925d23"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"J. \u00d6qvist and G. Hedin. 2017. Concurrent circular reference attribute grammars. SLE\u201917. 151\u2013162.","DOI":"10.1145\/3136014.3136032"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"I. Riouak N. Fors J. \u00d6qvist G. Hedin and C. Reichenbach. 2024. Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact). https:\/\/doi.org\/10.5281\/zenodo.13365896 10.5281\/zenodo.13365896","DOI":"10.5281\/zenodo.13365896"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"I. Riouak C. Reichenbach G. Hedin and N. Fors. 2021. A Precise Framework for Source-Level Control-Flow Analysis. SCAM\u201921. 1\u201311.","DOI":"10.1109\/SCAM52516.2021.00009"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF03037280","article-title":"Circular Attribute Grammars with Remote Attribute References and their Evaluators","volume":"22","author":"Sasaki A.","year":"2003","unstructured":"A. Sasaki and M. Sassa. 2003. Circular Attribute Grammars with Remote Attribute References and their Evaluators. New Generation Computing, 22, 1 (2003), 37\u201360.","journal-title":"New Generation Computing"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.11.005"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.02.002"},{"key":"e_1_3_2_1_32_1","first-page":"2","article-title":"Automated Selective Caching for Reference Attribute Grammars. SLE\u201910","volume":"6563","author":"S\u00f6derberg E.","year":"2010","unstructured":"E. S\u00f6derberg and G. Hedin. 2010. Automated Selective Caching for Reference Attribute Grammars. SLE\u201910, LNCS 6563. 2\u201321. isbn:978-3-642-19440-5","journal-title":"LNCS"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.008"},{"key":"e_1_3_2_1_34_1","volume-title":"Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP\u201916. 22:1\u201322:26.","author":"Sp\u00e4th J.","year":"2016","unstructured":"J. Sp\u00e4th, L. N. Q. Do, K. Ali, and E. Bodden. 2016. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP\u201916. 22:1\u201322:26."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"M. Sridharan D. Gopan L. Shan and R. Bod\u00edk. 2005. Demand-Driven Points-to Analysis for Java. OOPSLA\u201905. 59\u201376. isbn:1595930310","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"B. Stein B. E. Chang and M. Sridharan. 2021. Demanded abstract interpretation. PLDI\u201921. 282\u2013295.","DOI":"10.1145\/3453483.3454044"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_38_1","volume-title":"Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies. APSEC\u201910. 336\u2013345.","author":"Tempero E.","year":"2010","unstructured":"E. Tempero, G. Anslow, J. Dietrich, T. Han, J. Li, M. Lumpe, H. Melton, and J. Noble. 2010. Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies. APSEC\u201910. 336\u2013345."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.004"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"H. H. Vogt S. D. Swierstra and M. F. Kuiper. 1989. Higher Order Attribute Grammars. PLDI\u201989. 131\u2013145. isbn:089791306X","DOI":"10.1145\/74818.74830"}],"event":{"name":"SLE '24: 17th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN SIGPLAN"],"location":"Pasadena CA USA","acronym":"SLE '24"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3687997.3695644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:59Z","timestamp":1750295399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":40,"alternative-id":["10.1145\/3687997.3695644","10.1145\/3687997"],"URL":"https:\/\/doi.org\/10.1145\/3687997.3695644","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}