{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T16:29:22Z","timestamp":1780331362249,"version":"3.54.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T00:00:00Z","timestamp":1736294400000},"content-version":"vor","delay-in-days":38,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003252","name":"Lund University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003252","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Static analysis tools play a crucial role in software development by detecting bugs and vulnerabilities. However, running these tools separately from the code editing process often causes developers to switch contexts, which can reduce productivity. Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural control-flow and dataflow analysis of Java source code, embodied in the tool <jats:sc>IntraJ<\/jats:sc>. In this paper, we demonstrate how <jats:sc>IntraJ<\/jats:sc> can be leveraged to provide interactive analysis results directly in the editor, similar to compile-time error detection, relying on automatic on-demand evaluation of RAGs. We discuss the architecture of <jats:sc>IntraJ<\/jats:sc>, and demonstrate how it can be integrated into the development process in three different ways: in the command line, in an editor integration based on the Language Server Protocol, and in an integration with the debugging tool <jats:sc>CodeProber<\/jats:sc>. We showcase the extensibility of <jats:sc>IntraJ<\/jats:sc> by illustrating how new client analyzes and language constructs can be added to the framework through RAG specifications. Finally, we evaluate the interactive performance of <jats:sc>IntraJ<\/jats:sc> on a set of real-world Java benchmarks, demonstrating that <jats:sc>IntraJ<\/jats:sc> can provide interactive feedback to developers, achieving a response time of under 0.1 seconds for most compilation units.<\/jats:p>","DOI":"10.1007\/s10009-024-00771-0","type":"journal-article","created":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T16:19:51Z","timestamp":1736353191000},"page":"687-705","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["IntraJ: an on-demand framework for intraprocedural Java code analysis"],"prefix":"10.1007","volume":"26","author":[{"given":"Idriss","family":"Riouak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Niklas","family":"Fors","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G\u00f6rel","family":"Hedin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,1,8]]},"reference":[{"key":"771_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111980","volume":"211","author":"A.R. Alak\u00fcla","year":"2024","unstructured":"Alak\u00fcla, A.R., Hedin, G., Fors, N., Pop, A.: Property probes: live exploration of program analysis results. J. Syst. Softw. 211, 111980 (2024). https:\/\/doi.org\/10.1016\/j.jss.2024.111980","journal-title":"J. Syst. Softw."},{"key":"771_CR2","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/2568225.2568243","volume-title":"Proceedings of the 36th International Conference on Software Engineering","author":"S. Arzt","year":"2014","unstructured":"Arzt, S., Bodden, E.: Reviser: efficiently updating ide-\/ifds-based data-flow analyses in response to incremental program changes. In: Proceedings of the 36th International Conference on Software Engineering, pp.\u00a0288\u2013298 (2014)"},{"issue":"5","key":"771_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MS.2008.130","volume":"25","author":"N. Ayewah","year":"2008","unstructured":"Ayewah, N., Pugh, W., Hovemeyer, D., Morgenthaler, J.D., Penix, J.: Using static analysis to find bugs. IEEE Softw. 25(5), 22\u201329 (2008)","journal-title":"IEEE Softw."},{"key":"771_CR4","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1109\/ASE.2015.69","volume-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"P. Barros","year":"2015","unstructured":"Barros, P., Just, R., Millstein, S., Vines, P., Dietl, W., d\u2019Amorim, M., Ernst, M.D.: Static analysis of implicit control flow: resolving Java reflection and Android intents (t). In: 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp.\u00a0669\u2013679 (2015). https:\/\/doi.org\/10.1109\/ASE.2015.69"},{"key":"771_CR5","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA \u201906: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA \u201906: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp.\u00a0169\u2013190. ACM Press, New York (2006). https:\/\/doi.org\/10.1145\/1167473.1167488"},{"key":"771_CR6","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-20398-5_33","volume-title":"NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 3","author":"C. Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of C programs. In: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 3, pp.\u00a0459\u2013465. Springer (2011)"},{"key":"771_CR7","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/2970276.2970347","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201916","author":"M. Christakis","year":"2016","unstructured":"Christakis, M., Bird, C.: What developers want and need from program analysis: an empirical study. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201916, pp.\u00a0332\u2013343. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2970276.2970347"},{"key":"771_CR8","volume-title":"PMD Applied","author":"T. Copeland","year":"2005","unstructured":"Copeland, T.: PMD Applied, vol.\u00a010. Centennial Books, Alexandria (2005)"},{"issue":"8","key":"771_CR9","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3338112","volume":"62","author":"D. Distefano","year":"2019","unstructured":"Distefano, D., F\u00e4hndrich, M., Logozzo, F., O\u2019Hearn, P.W.: Scaling static analyses at Facebook. Commun. ACM 62(8), 62\u201370 (2019). https:\/\/doi.org\/10.1145\/3338112.","journal-title":"Commun. ACM"},{"key":"771_CR10","doi-asserted-by":"publisher","DOI":"10.1145\/3485542","volume-title":"Proceedings of the ACM on Programming Languages","author":"A. Dura","year":"2021","unstructured":"Dura, A., Reichenbach, C., S\u00f6derberg, E.: JavaDL: automatically incrementalizing Java bug pattern detection. In: Proceedings of the ACM on Programming Languages. ACM, New York (2021). https:\/\/doi.org\/10.1145\/3485542"},{"key":"771_CR11","doi-asserted-by":"publisher","unstructured":"Ekman, T., Hedin, G.: The Jastadd extensible Java compiler. In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., Jr, G.L.S. (eds.) Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, Montreal, Quebec, Canada, October 21-25, 2007, pp.\u00a01\u201318. ACM (2007). https:\/\/doi.org\/10.1145\/1297027.1297029","DOI":"10.1145\/1297027.1297029"},{"key":"771_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-024-00768-9","author":"J. Erhard","year":"2024","unstructured":"Erhard, J., Saan, S., Tilscher, S., Schwarz, M., Holter, K., Vojdani, V., Seidl, H.: Interactive abstract interpretation: reanalyzing multithreaded c programs for cheap. Int. J. Softw. Tools Technol. Transf. (2024). https:\/\/doi.org\/10.1007\/s10009-024-00768-9. Publisher Copyright: \u00a9 the Author(s) 2024","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"7","key":"771_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/13310.13320","volume":"21","author":"R. Farrow","year":"1986","unstructured":"Farrow, R.: Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. ACM SIGPLAN Not. 21(7), 85\u201398 (1986)","journal-title":"ACM SIGPLAN Not."},{"key":"771_CR14","unstructured":"Hedin, G.: Reference attributed grammars. Informatica (Slovenia) 24(3) (2000)"},{"issue":"2","key":"771_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S1571-0661(04)80920-4","volume":"44","author":"G. Hedin","year":"2001","unstructured":"Hedin, G., Magnusson, E.: Jastadd - a Java-based system for implementing front ends. Electron. Notes Theor. Comput. Sci. 44(2), 59\u201378 (2001). https:\/\/doi.org\/10.1016\/S1571-0661(04)80920-4","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"771_CR16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0167-6423(02)00109-0","volume":"47","author":"G. Hedin","year":"2003","unstructured":"Hedin, G., Magnusson, E.: Jastadd\u2014an aspect-oriented compiler construction system. Sci. Comput. Program. 47(1), 37\u201358 (2003)","journal-title":"Sci. Comput. Program."},{"key":"771_CR17","first-page":"58","volume-title":"Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"L.G. Jones","year":"1986","unstructured":"Jones, L.G., Simon, J.: Hierarchical VLSI design systems based on attribute grammars. In: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp.\u00a058\u201369 (1986)"},{"issue":"3","key":"771_CR18","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"Kam, J.B., Ullman, J.D.: Monotone data flow analysis frameworks. Acta Inform. 7(3), 305\u2013317 (1977)","journal-title":"Acta Inform."},{"key":"771_CR19","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1145\/512927.512945","volume-title":"Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL \u201973","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL \u201973, pp.\u00a0194\u2013206. Association for Computing Machinery, New York (1973). https:\/\/doi.org\/10.1145\/512927.512945"},{"issue":"2","key":"771_CR20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2(2), 127\u2013145 (1968)","journal-title":"Math. Syst. Theory"},{"key":"771_CR21","volume-title":"Cetus Users and Compiler Infastructure Workshop (CETUS 2011)","author":"P. Lam","year":"2011","unstructured":"Lam, P., Bodden, E., Lhot\u00e1k, O., Hendren, L.: The soot framework for Java program analysis: a retrospective. In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011), vol.\u00a015 (2011)"},{"key":"771_CR22","doi-asserted-by":"publisher","unstructured":"Li, Y., Tan, T., Xue, J.: Understanding and analyzing Java reflection. ACM Trans. Softw. Eng. Methodol. 28(2) (2019). https:\/\/doi.org\/10.1145\/3295739","DOI":"10.1145\/3295739"},{"key":"771_CR23","series-title":"Proceedings, Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11575467_11","volume-title":"Programming Languages and Systems, Third Asian Symposium, APLAS 2005","author":"V.B. Livshits","year":"2005","unstructured":"Livshits, V.B., Whaley, J., Lam, M.S.: Reflection analysis for Java. In: Yi, K. (ed.) Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2\u20135, 2005. Proceedings, Lecture Notes in Computer Science, vol.\u00a03780, pp.\u00a0139\u2013160. Springer, Berlin (2005). https:\/\/doi.org\/10.1007\/11575467_11"},{"issue":"2","key":"771_CR24","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2644805","volume":"58","author":"B. Livshits","year":"2015","unstructured":"Livshits, B., Sridharan, M., Smaragdakis, Y., Lhot\u00e1k, O., Amaral, J.N., Chang, B.Y.E., Guyer, S.Z., Khedker, U.P., M\u00f8ller, A., Vardoulakis, D.: In defense of soundiness: a manifesto. Commun. ACM 58(2), 44\u201346 (2015). https:\/\/doi.org\/10.1145\/2644805","journal-title":"Commun. ACM"},{"key":"771_CR25","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.4230\/LIPIcs.ECOOP.2019.21","volume-title":"33rd European Conference on Object-Oriented Programming (ECOOP 2019)","author":"L. Luo","year":"2019","unstructured":"Luo, L., Dolby, J., Bodden, E.: MagpieBridge: a general approach to integrating static analyses into IDEs and editors (tool insights paper). In: Donaldson, A.F. (ed.) 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0134, pp.\u00a021:1\u201321:25. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2019). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2019.21. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2019\/10813"},{"issue":"1","key":"771_CR26","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.scico.2005.06.005","volume":"68","author":"E. Magnusson","year":"2007","unstructured":"Magnusson, E., Hedin, G.: Circular reference attributed grammars \u2014 their evaluation and applications. Sci. Comput. Program. 68(1), 21\u201337 (2007). https:\/\/doi.org\/10.1016\/j.scico.2005.06.005https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642307000767. Special Issue on the ETAPS 2003 Workshop on Language Descriptions, Tools and Applications (LDTA\u00a0\u201903)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"771_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.scico.2005.06.005","volume":"68","author":"E. Magnusson","year":"2007","unstructured":"Magnusson, E., Hedin, G.: Circular reference attributed grammars\u2014their evaluation and applications. Sci. Comput. Program. 68(1), 21\u201337 (2007)","journal-title":"Sci. Comput. Program."},{"key":"771_CR28","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/292540.292561","volume-title":"POPL \u201999, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"A.C. Myers","year":"1999","unstructured":"Myers, A.C.: Jflow: practical mostly-static information flow control. In: Appel, A.W., Aiken, A. (eds.) POPL \u201999, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, pp.\u00a0228\u2013241. ACM (1999). https:\/\/doi.org\/10.1145\/292540.292561"},{"key":"771_CR29","volume-title":"Usability Engineering","author":"J. Nielsen","year":"1994","unstructured":"Nielsen, J.: Usability Engineering. Morgan Kaufmann, San Mateo (1994)"},{"key":"771_CR30","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2010","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer (2010)"},{"key":"771_CR31","unstructured":"\u00d6qvist, J.: Contributions to declarative implementation of static program analysis. Ph.D. thesis, Lund University, Sweden (2018). http:\/\/lup.lub.lu.se\/record\/82b210fc-6d15-4f0a-82ff-24b024925d23"},{"key":"771_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/SCAM52516.2021.00009","volume-title":"2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)","author":"I. Riouak","year":"2021","unstructured":"Riouak, I., Reichenbach, C., Hedin, G., Fors, N.: A precise framework for source-level control-flow analysis. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), pp.\u00a01\u201311. IEEE (2021). https:\/\/doi.org\/10.1109\/SCAM52516.2021.00009"},{"key":"771_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/3687997.3695644","volume-title":"Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, SLE \u201924","author":"I. Riouak","year":"2024","unstructured":"Riouak, I., Fors, N., \u00d6qvist, J., Hedin, G., Reichenbach, C.: Efficient demand evaluation of fixed-point attributes using static analysis. In: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, SLE \u201924, pp.\u00a056\u201369. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3687997.3695644"},{"key":"771_CR34","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1109\/ICSE.2015.76","volume-title":"37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015","author":"C. Sadowski","year":"2015","unstructured":"Sadowski, C., van Gogh, J., Jaspan, C., S\u00f6derberg, E., Winter, C.: Tricorder: building a program analysis ecosystem. In: Bertolino, A., Canfora, G., Elbaum, S.G. (eds.) 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, vol.\u00a01, pp.\u00a0598\u2013608. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/ICSE.2015.76"},{"key":"771_CR35","unstructured":"Sawyer, K.: Mystery of orbiter crash solved. Washington Post p.\u00a0A1. (1999). https:\/\/www.washingtonpost.com\/wp-srv\/national\/longterm\/space\/stories\/orbiter100199.htm. Last accessed 2024-07-26"},{"key":"771_CR36","unstructured":"S\u00f6derberg, E., Hedin, G.: Incremental evaluation of reference attribute grammars using dynamic dependency tracking. LU-CS-TR:2012-249 (2012)"},{"issue":"10","key":"771_CR37","doi-asserted-by":"publisher","first-page":"1809","DOI":"10.1016\/J.SCICO.2012.02.002","volume":"78","author":"E. S\u00f6derberg","year":"2013","unstructured":"S\u00f6derberg, E., Ekman, T., Hedin, G., Magnusson, E.: Extensible intraprocedural flow analysis at the abstract syntax tree level. Sci. Comput. Program. 78(10), 1809\u20131827 (2013). https:\/\/doi.org\/10.1016\/J.SCICO.2012.02.002","journal-title":"Sci. Comput. Program."},{"key":"771_CR38","unstructured":"Soller, M.: Sinfoj: a simple information flow analysis with reference attribute grammars (2023). Available at http:\/\/lup.lub.lu.se\/student-papers\/record\/9149210"},{"key":"771_CR39","unstructured":"SpotBugs: https:\/\/spotbugs.github.io\/. Accessed: 2023-02-17"},{"key":"771_CR40","doi-asserted-by":"publisher","unstructured":"Stein, B., Chang, B.Y.E., Sridharan, M.: Interactive abstract interpretation with demanded summarization. ACM Trans. Program. Lang. Syst. 46(1) (2024). https:\/\/doi.org\/10.1145\/3648441","DOI":"10.1145\/3648441"},{"key":"771_CR41","first-page":"1","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"T. Szab\u00f3","year":"2021","unstructured":"Szab\u00f3, T., Erdweg, S., Bergmann, G.: Incremental whole-program analysis in datalog with lattices. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp.\u00a01\u201315 (2021)"},{"key":"771_CR42","first-page":"336","volume-title":"Software Engineering Conference","author":"E. Tempero","year":"2010","unstructured":"Tempero, E., Anslow, G., Dietrich, J., Han, T., Li, J., Lumpe, M., Melton, H., Noble, J.: Qualitas corpus: a curated collection of Java code for empirical studies. In: Software Engineering Conference, pp.\u00a0336\u2013345 (2010)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00771-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00771-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00771-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T11:44:18Z","timestamp":1738842258000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00771-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":42,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["771"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00771-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12]]},"assertion":[{"value":"12 December 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}