{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:03:18Z","timestamp":1773478998146,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["818616"],"award-info":[{"award-number":["818616"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533362","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Reasonable Space for the \u03bb-Calculus, Logarithmically"],"prefix":"10.1145","author":[{"given":"Beniamino","family":"Accattoli","sequence":"first","affiliation":[{"name":"INRIA, France and LIX, \u00c9cole Polytechnique, France"}]},{"given":"Ugo","family":"Dal Lago","sequence":"additional","affiliation":[{"name":"Universita di Bologna, Italy and INRIA, France"}]},{"given":"Gabriele","family":"Vanoni","sequence":"additional","affiliation":[{"name":"Universita di Bologna, Italy and INRIA, France"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628154"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131851.3131855"},{"key":"e_1_3_2_1_4_1","volume-title":"Implosively. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021","author":"Accattoli Beniamino","year":"2021","unstructured":"Beniamino Accattoli , Andrea Condoluci , and Claudio\u00a0Sacerdoti Coen . 2021 . Strong Call-by-Value is Reasonable , Implosively. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021 , Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201314. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470630 10.1109\/LICS52264.2021.9470630 Beniamino Accattoli, Andrea Condoluci, and Claudio\u00a0Sacerdoti Coen. 2021. Strong Call-by-Value is Reasonable, Implosively. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201314. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470630"},{"key":"e_1_3_2_1_5_1","volume-title":"On the Invariance of the Unitary Cost Model for Head Reduction. In 23rd International Conference on Rewriting Techniques and Applications (RTA\u201912)","author":"Accattoli Beniamino","year":"2012","unstructured":"Beniamino Accattoli and Ugo Dal\u00a0Lago . 2012 . On the Invariance of the Unitary Cost Model for Head Reduction. In 23rd International Conference on Rewriting Techniques and Applications (RTA\u201912) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan(LIPIcs, Vol.\u00a015), Ashish Tiwari (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 22\u201337. https:\/\/doi.org\/10.4230\/LIPIcs.RTA.2012.22 10.4230\/LIPIcs.RTA.2012.22 Beniamino Accattoli and Ugo Dal\u00a0Lago. 2012. On the Invariance of the Unitary Cost Model for Head Reduction. In 23rd International Conference on Rewriting Techniques and Applications (RTA\u201912), RTA 2012, May 28 - June 2, 2012, Nagoya, Japan(LIPIcs, Vol.\u00a015), Ashish Tiwari (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 22\u201337. https:\/\/doi.org\/10.4230\/LIPIcs.RTA.2012.22"},{"key":"e_1_3_2_1_6_1","volume-title":"Logical Methods in Computer Science 12, 1","author":"Accattoli Beniamino","year":"2016","unstructured":"Beniamino Accattoli and Ugo Dal\u00a0Lago . 2016. (Leftmost-Outermost) Beta Reduction is Invariant , Indeed. Logical Methods in Computer Science 12, 1 ( 2016 ). https:\/\/doi.org\/10.2168\/LMCS-12(1:4)2016 10.2168\/LMCS-12(1:4)2016 Beniamino Accattoli and Ugo Dal\u00a0Lago. 2016. (Leftmost-Outermost) Beta Reduction is Invariant, Indeed. Logical Methods in Computer Science 12, 1 (2016). https:\/\/doi.org\/10.2168\/LMCS-12(1:4)2016"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434332"},{"key":"e_1_3_2_1_8_1","volume-title":"The Space of Interaction. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). 1\u201313","author":"Accattoli Beniamino","year":"2021","unstructured":"Beniamino Accattoli , Ugo Dal\u00a0Lago , and Gabriele Vanoni . 2021 . The Space of Interaction. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). 1\u201313 . https:\/\/doi.org\/10.1109\/LICS52264.2021.9470726 10.1109\/LICS52264.2021.9470726 Beniamino Accattoli, Ugo Dal\u00a0Lago, and Gabriele Vanoni. 2021. The Space of Interaction. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470726"},{"key":"e_1_3_2_1_9_1","volume-title":"Multi Types and Reasonable Space. (2022). Accepted at ICFP","author":"Accattoli Beniamino","year":"2022","unstructured":"Beniamino Accattoli , Ugo Dal\u00a0Lago , and Gabriele Vanoni . 2022. Multi Types and Reasonable Space. (2022). Accepted at ICFP 2022 . Beniamino Accattoli, Ugo Dal\u00a0Lago, and Gabriele Vanoni. 2022. Multi Types and Reasonable Space. (2022). Accepted at ICFP 2022."},{"key":"e_1_3_2_1_10_1","volume-title":"Logarithmically.","author":"Accattoli Beniamino","year":"2022","unstructured":"Beniamino Accattoli , Ugo Dal\u00a0Lago , and Gabriele Vanoni . 2022. Reasonable Space for the \u03bb-Calculus , Logarithmically. ( 2022 ). https:\/\/doi.org\/10.48550\/arXiv.2203.00362 10.48550\/arXiv.2203.00362 Beniamino Accattoli, Ugo Dal\u00a0Lago, and Gabriele Vanoni. 2022. Reasonable Space for the \u03bb-Calculus, Logarithmically. (2022). https:\/\/doi.org\/10.48550\/arXiv.2203.00362"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414080.3414108"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.01.003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479401"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995","author":"E.","year":"1995","unstructured":"Guy\u00a0 E. Blelloch and John Greiner. 1995. Parallelism in Sequential Functional Languages . In Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995 , La Jolla, California, USA , June 25-28, 1995 . ACM, 226\u2013237. https:\/\/doi.org\/10.1145\/224164.224210 10.1145\/224164.224210 Guy\u00a0E. Blelloch and John Greiner. 1995. Parallelism in Sequential Functional Languages. In Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995. ACM, 226\u2013237. https:\/\/doi.org\/10.1145\/224164.224210"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996","author":"E.","year":"1996","unstructured":"Guy\u00a0 E. Blelloch and John Greiner. 1996. A Provable Time and Space Efficient Implementation of NESL . In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996 , Philadelphia, Pennsylvania, USA , May 24-26, 1996 , Robert Harper and Richard\u00a0L. Wexelblat (Eds.). ACM, 213\u2013225. https:\/\/doi.org\/10.1145\/232627.232650 10.1145\/232627.232650 Guy\u00a0E. Blelloch and John Greiner. 1996. A Provable Time and Space Efficient Implementation of NESL. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996, Robert Harper and Richard\u00a0L. Wexelblat (Eds.). ACM, 213\u2013225. https:\/\/doi.org\/10.1145\/232627.232650"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354174"},{"key":"e_1_3_2_1_17_1","unstructured":"Ugo Dal\u00a0Lago and Beniamino Accattoli. 2017. Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR abs\/1711.10078(2017). arXiv:1711.10078http:\/\/arxiv.org\/abs\/1711.10078  Ugo Dal\u00a0Lago and Beniamino Accattoli. 2017. Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR abs\/1711.10078(2017). arXiv:1711.10078http:\/\/arxiv.org\/abs\/1711.10078"},{"key":"e_1_3_2_1_18_1","volume-title":"Functional Programming in Sublinear Space. In 19th European Symposium on Programming, ESOP 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings.(Lecture Notes in Computer Science, Vol.\u00a06012)","author":"Dal\u00a0Lago Ugo","year":"2010","unstructured":"Ugo Dal\u00a0Lago and Ulrich Sch\u00f6pp . 2010 . Functional Programming in Sublinear Space. In 19th European Symposium on Programming, ESOP 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings.(Lecture Notes in Computer Science, Vol.\u00a06012) , Andrew\u00a0D. Gordon (Ed.). Springer, 205\u2013225. https:\/\/doi.org\/10.1007\/978-3-642-1 1957-6_12 10.1007\/978-3-642-11957-6_12 Ugo Dal\u00a0Lago and Ulrich Sch\u00f6pp. 2010. Functional Programming in Sublinear Space. In 19th European Symposium on Programming, ESOP 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings.(Lecture Notes in Computer Science, Vol.\u00a06012), Andrew\u00a0D. Gordon (Ed.). Springer, 205\u2013225. https:\/\/doi.org\/10.1007\/978-3-642-11957-6_12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.04.006"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/212876.212903"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9016-y"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371095"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9014-0"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2159531.2159540"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190269"},{"key":"e_1_3_2_1_26_1","volume-title":"Logic Colloquium \u201988, R.\u00a0Ferro, C.\u00a0Bonotto, S.\u00a0Valentini, and A.\u00a0Zanardo (Eds.). Studies in Logic and the Foundations of Mathematics, Vol.\u00a0127","author":"Girard Jean-Yves","unstructured":"Jean-Yves Girard . 1989. Geometry of Interaction 1: Interpretation of System F . In Logic Colloquium \u201988, R.\u00a0Ferro, C.\u00a0Bonotto, S.\u00a0Valentini, and A.\u00a0Zanardo (Eds.). Studies in Logic and the Foundations of Mathematics, Vol.\u00a0127 . Elsevier , 221\u2013260. https:\/\/doi.org\/10.1016\/S0049-237X(08)70271-4 10.1016\/S0049-237X(08)70271-4 Jean-Yves Girard. 1989. Geometry of Interaction 1: Interpretation of System F. In Logic Colloquium \u201988, R.\u00a0Ferro, C.\u00a0Bonotto, S.\u00a0Valentini, and A.\u00a0Zanardo (Eds.). Studies in Logic and the Foundations of Mathematics, Vol.\u00a0127. Elsevier, 221\u2013260. https:\/\/doi.org\/10.1016\/S0049-237X(08)70271-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00357-0"},{"key":"e_1_3_2_1_28_1","volume-title":"The Garbage Collection Handbook: The art of automatic memory management","author":"Jones E.","unstructured":"Richard\u00a0 E. Jones , Antony\u00a0 L. Hosking , and J.\u00a0Eliot\u00a0 B. Moss . 2011. The Garbage Collection Handbook: The art of automatic memory management . CRC Press . http:\/\/gchandbook.org\/ Richard\u00a0E. Jones, Antony\u00a0L. Hosking, and J.\u00a0Eliot\u00a0B. Moss. 2011. The Garbage Collection Handbook: The art of automatic memory management. CRC Press. http:\/\/gchandbook.org\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103665"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9018-9"},{"key":"e_1_3_2_1_31_1","unstructured":"Xavier Leroy. 1990. The ZINC experiment: an economical implementation of the ML language. Technical report 117. INRIA. http:\/\/gallium.inria.fr\/~xleroy\/publi\/ZINC.pdf  Xavier Leroy. 1990. The ZINC experiment: an economical implementation of the ML language. Technical report 117. INRIA. http:\/\/gallium.inria.fr\/~xleroy\/publi\/ZINC.pdf"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199483"},{"key":"e_1_3_2_1_33_1","volume-title":"Simple Parsimonious Types and Logarithmic Space. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015","author":"Mazza Damiano","year":"2015","unstructured":"Damiano Mazza . 2015 . Simple Parsimonious Types and Logarithmic Space. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015 , September 7-10, 2015, Berlin, Germany(LIPIcs, Vol.\u00a041), Stephan Kreutzer (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 24\u201340. https:\/\/doi.org\/10.4230\/LIPIcs.CSL. 2015.24 10.4230\/LIPIcs.CSL.2015.24 Damiano Mazza. 2015. Simple Parsimonious Types and Logarithmic Space. In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany(LIPIcs, Vol.\u00a041), Stephan Kreutzer (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 24\u201340. https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2015.24"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341687"},{"key":"e_1_3_2_1_35_1","volume-title":"The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday](Lecture Notes in Computer Science, Vol.\u00a02566), Torben\u00a0\u00c6","author":"Sands David","unstructured":"David Sands , J\u00f6rgen Gustavsson , and Andrew Moran . 2002. Lambda Calculi and Linear Speedups . In The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday](Lecture Notes in Computer Science, Vol.\u00a02566), Torben\u00a0\u00c6 . Mogensen, David\u00a0A. Schmidt, and Ivan\u00a0Hal Sudborough (Eds.). Springer , 60\u201384. https:\/\/doi.org\/10.1007\/3-540-36377-7_4 10.1007\/3-540-36377-7_4 David Sands, J\u00f6rgen Gustavsson, and Andrew Moran. 2002. Lambda Calculi and Linear Speedups. In The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday](Lecture Notes in Computer Science, Vol.\u00a02566), Torben\u00a0\u00c6. Mogensen, David\u00a0A. Schmidt, and Ivan\u00a0Hal Sudborough (Eds.). Springer, 60\u201384. https:\/\/doi.org\/10.1007\/3-540-36377-7_4"},{"key":"e_1_3_2_1_36_1","volume-title":"Time and Space Profiling for Non-Strict Higher-Order Functional Languages. In Conference Record of POPL\u201995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"M.","year":"1995","unstructured":"Patrick\u00a0 M. Sansom and Simon L.\u00a0Peyton Jones. 1995 . Time and Space Profiling for Non-Strict Higher-Order Functional Languages. In Conference Record of POPL\u201995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , San Francisco, California, USA , January 23-25, 1995 , Ron\u00a0K. Cytron and Peter Lee (Eds.). ACM Press, 355\u2013366. https:\/\/doi.org\/10.1145\/199448.199531 10.1145\/199448.199531 Patrick\u00a0M. Sansom and Simon L.\u00a0Peyton Jones. 1995. Time and Space Profiling for Non-Strict Higher-Order Functional Languages. In Conference Record of POPL\u201995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, Ron\u00a0K. Cytron and Peter Lee (Eds.). ACM Press, 355\u2013366. https:\/\/doi.org\/10.1145\/199448.199531"},{"key":"e_1_3_2_1_37_1","volume-title":"20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings(Lecture Notes in Computer Science, Vol.\u00a04207)","author":"Sch\u00f6pp Ulrich","year":"2006","unstructured":"Ulrich Sch\u00f6pp . 2006 . Space-Efficient Computation by Interaction. In Computer Science Logic , 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings(Lecture Notes in Computer Science, Vol.\u00a04207) , Zolt\u00e1n \u00c9sik (Ed.). Springer, 606\u2013621. https:\/\/doi.org\/10.1007\/1 1874683_40 10.1007\/11874683_40 Ulrich Sch\u00f6pp. 2006. Space-Efficient Computation by Interaction. In Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings(Lecture Notes in Computer Science, Vol.\u00a04207), Zolt\u00e1n \u00c9sik (Ed.). Springer, 606\u2013621. https:\/\/doi.org\/10.1007\/11874683_40"},{"key":"e_1_3_2_1_38_1","volume-title":"Stratified Bounded Affine Logic for Logarithmic Space. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society, 411\u2013420","author":"Schopp Ulrich","year":"2007","unstructured":"Ulrich Schopp . 2007 . Stratified Bounded Affine Logic for Logarithmic Space. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society, 411\u2013420 . https:\/\/doi.org\/10.1109\/LICS.2007.45 10.1109\/LICS.2007.45 Ulrich Schopp. 2007. Stratified Bounded Affine Logic for Logarithmic Space. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society, 411\u2013420. https:\/\/doi.org\/10.1109\/LICS.2007.45"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90052-1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000146"},{"key":"e_1_3_2_1_42_1","unstructured":"Kazushige Terui. 2008. On space efficiency of Krivine\u2019s abstract machine and Hyland-Ong games. https:\/\/www.kurims.kyoto-u.ac.jp\/~terui\/space2.pdf. Accessed: 2022-05-31.  Kazushige Terui. 2008. On space efficiency of Krivine\u2019s abstract machine and Hyland-Ong games. https:\/\/www.kurims.kyoto-u.ac.jp\/~terui\/space2.pdf. Accessed: 2022-05-31."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27660-6_2"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9019-8"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533362","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":44,"alternative-id":["10.1145\/3531130.3533362","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533362","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}