{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:05Z","timestamp":1750220525220,"version":"3.41.0"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,5,18]],"date-time":"2021-05-18T00:00:00Z","timestamp":1621296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Wallenberg AI, Autonomous Systems and Software Program"},{"name":"Digital Futures"},{"DOI":"10.13039\/501100004359","name":"Swedish Research Council","doi-asserted-by":"crossref","award":["#2018-04329"],"award-info":[{"award-number":["#2018-04329"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Swedish Foundation for Strategic Research, SSF","award":["FFL15-0032"],"award-info":[{"award-number":["FFL15-0032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,7,31]]},"abstract":"<jats:p>Modeling and computational analyses are fundamental activities within science and engineering. Analysis activities can take various forms, such as simulation of executable models, formal verification of model properties, or inference of hidden model variables. Traditionally, tools for modeling and analysis have similar workflows: (i) a user designs a textual or graphical model or the model is inferred from data, (ii) a tool performs computational analyses on the model, and (iii) a visualization tool displays the resulting data. This article identifies three inherent problems with the traditional approach: the recomputation problem, the variable inspection problem, and the model expressiveness problem. As a solution, we propose a conceptual framework called Interactive Programmatic Modeling. We formalize the interface of the framework and illustrate how it can be used in two different domains: equation-based modeling and probabilistic programming.<\/jats:p>","DOI":"10.1145\/3431387","type":"journal-article","created":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T06:08:36Z","timestamp":1621404516000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Interactive Programmatic Modeling"],"prefix":"10.1145","volume":"20","author":[{"given":"David","family":"Broman","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2021,5,18]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Drawing Programs: The Theory and Practice of Schematic Functional Programming","author":"Addis Tom","year":"2009","unstructured":"Tom Addis and Jan Addis . 2009 . Drawing Programs: The Theory and Practice of Schematic Functional Programming . Springer Science & Business Media . Tom Addis and Jan Addis. 2009. Drawing Programs: The Theory and Practice of Schematic Functional Programming. Springer Science & Business Media."},{"volume-title":"Hybrid Systems","author":"Alur Rajeev","key":"e_1_2_1_2_1","unstructured":"Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , and Pei-Hsin Ho. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . In Hybrid Systems . Springer , 209--229. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems. Springer, 209--229."},{"key":"e_1_2_1_4_1","first-page":"1","article-title":"Pyro: Deep universal probabilistic programming","volume":"20","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul Szerlip , Paul Horsfall , and Noah D. Goodman . 2019 . Pyro: Deep universal probabilistic programming . J. Mach. Learn. Res. 20 , 28 (2019), 1 -- 6 . Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2019. Pyro: Deep universal probabilistic programming. J. Mach. Learn. Res. 20, 28 (2019), 1--6.","journal-title":"J. Mach. Learn. Res."},{"volume-title":"SystemC: From the Ground Up","author":"Black David C.","key":"e_1_2_1_5_1","unstructured":"David C. Black , Jack Donovan , Bill Bunton , and Anna Keist . 2009. SystemC: From the Ground Up . Vol. 71 . Springer Science & Business Media . David C. Black, Jack Donovan, Bill Bunton, and Anna Keist. 2009. SystemC: From the Ground Up. Vol. 71. Springer Science & Business Media."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359531"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"e_1_2_1_10_1","first-page":"5","article-title":"Higher-order acausal models","volume":"19","author":"Broman David","year":"2009","unstructured":"David Broman and Peter Fritzson . 2009 . Higher-order acausal models . Simul. News Eur. 19 , 1 (2009), 5 -- 16 . David Broman and Peter Fritzson. 2009. Higher-order acausal models. Simul. News Eur. 19, 1 (2009), 5--16.","journal-title":"Simul. News Eur."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_19"},{"volume-title":"Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM\u201918)","author":"Broman David","key":"e_1_2_1_13_1","unstructured":"David Broman and Jeremy G. Siek . 2018. Gradually typed symbolic expressions . In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM\u201918) . ACM, 15--29. David Broman and Jeremy G. Siek. 2018. Gradually typed symbolic expressions. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM\u201918). ACM, 15--29."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382201"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"volume-title":"Continuous System Modeling","author":"Cellier Fran\u00e7ois E.","key":"e_1_2_1_16_1","unstructured":"Fran\u00e7ois E. Cellier . 1991. Continuous System Modeling . Springer-Verlag , New York, NY . Fran\u00e7ois E. Cellier. 1991. Continuous System Modeling. Springer-Verlag, New York, NY."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917)","author":"Cola\u00e7o Jean-Louis","year":"2017","unstructured":"Jean-Louis Cola\u00e7o , Bruno Pagano , and Marc Pouzet . 2017 . Scade 6: A formal language for embedded critical software development . In Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917) . IEEE, 1--11. Jean-Louis Cola\u00e7o, Bruno Pagano, and Marc Pouzet. 2017. Scade 6: A formal language for embedded critical software development. In Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE\u201917). IEEE, 1--11."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0633-6"},{"key":"e_1_2_1_19_1","unstructured":"Dassault Systems. [n.d.]. DYMOLA Systems Engineering: Multi-Engineering Modeling and Simulation based on Modelica and FMI. Retrieved from http:\/\/www.dymola.com.  Dassault Systems. [n.d.]. DYMOLA Systems Engineering: Multi-Engineering Modeling and Simulation based on Modelica and FMI. Retrieved from http:\/\/www.dymola.com."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_2_1_21_1","unstructured":"OpenBugs Online Examples. [n.d.]. Pumps: Conjugate gamma-Poisson hierarchical model. Retrieved from http:\/\/www.openbugs.net\/Examples\/Pumps.html.  OpenBugs Online Examples. [n.d.]. Pumps: Conjugate gamma-Poisson hierarchical model. Retrieved from http:\/\/www.openbugs.net\/Examples\/Pumps.html."},{"key":"e_1_2_1_22_1","unstructured":"Martin Fowler. 2009. Illustrative Programming. Retrieved from https:\/\/martinfowler.com\/bliki\/IllustrativeProgramming.html.  Martin Fowler. 2009. Illustrative Programming. Retrieved from https:\/\/martinfowler.com\/bliki\/IllustrativeProgramming.html."},{"key":"e_1_2_1_23_1","article-title":"The OpenModelica modeling, simulation, and software development environment","volume":"15","author":"Fritzson Peter","year":"2005","unstructured":"Peter Fritzson , Peter Aronsson , H\u00e5kan Lundvall , Kaj Nystr\u00f6m , Adrian Pop , Levon Saldamli , and David Broman . 2005 . The OpenModelica modeling, simulation, and software development environment . Simul. News Eur. 15 , 44\/45 (2005), 8--16. Peter Fritzson, Peter Aronsson, H\u00e5kan Lundvall, Kaj Nystr\u00f6m, Adrian Pop, Levon Saldamli, and David Broman. 2005. The OpenModelica modeling, simulation, and software development environment. Simul. News Eur. 15, 44\/45 (2005), 8--16.","journal-title":"Simul. News Eur."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_7"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp09430023"},{"key":"e_1_2_1_26_1","unstructured":"Edward I. George U. E. Makov and A. F. M. Smith. 1993. Conjugate likelihood distributions. Scand. J. Stat. (1993) 147--156.  Edward I. George U. E. Makov and A. F. M. Smith. 1993. Conjugate likelihood distributions. Scand. J. Stat. (1993) 147--156."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044476.2044484"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp09430137"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20775-4_3"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"key":"e_1_2_1_31_1","volume-title":"Goodman and Andreas Stuhlm\u00fcller","author":"Noah","year":"2014","unstructured":"Noah D. Goodman and Andreas Stuhlm\u00fcller . 2014 . The Design and Implementation of Probabilistic Programming Languages. Retrieved from http:\/\/dippl.org. Noah D. Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. Retrieved from http:\/\/dippl.org."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_34_1","first-page":"363","article-title":"SUNDIALS: Suite of nonlinear and differential\/algebraic equation solvers","volume":"31","author":"Hindmarsh Alan C.","year":"2005","unstructured":"Alan C. Hindmarsh , Peter N. Brown , Keith E. Grant , Steven L. Lee , Radu Serban , Dan E. Shumaker , and Carol S. Woodward . 2005 . SUNDIALS: Suite of nonlinear and differential\/algebraic equation solvers . ACM Trans. Program. Lang. Syst. 31 , 3 (2005), 363 -- 396 . Alan C. Hindmarsh, Peter N. Brown, Keith E. Grant, Steven L. Lee, Radu Serban, Dan E. Shumaker, and Carol S. Woodward. 2005. SUNDIALS: Suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Program. Lang. Syst. 31, 3 (2005), 363--396.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"e_1_2_1_35_1","unstructured":"Christoph Hager. 2019. Compiling Modelica: About the Separate Translation of Models from Modelica to OCaml and Its Impact on Variable-structure Modeling. Doctoral Thesis. Technische Universitat Berlin Berlin.  Christoph Hager. 2019. Compiling Modelica: About the Separate Translation of Models from Modelica to OCaml and Its Impact on Variable-structure Modeling. Doctoral Thesis. Technische Universitat Berlin Berlin."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263754"},{"key":"e_1_2_1_37_1","unstructured":"National Instruments. [n.d.]. What is LabView?\u2014National Instruments. Retrieved from https:\/\/www.ni.com\/labview\/.  National Instruments. [n.d.]. What is LabView?\u2014National Instruments. Retrieved from https:\/\/www.ni.com\/labview\/."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180200"},{"volume-title":"Differential-Algebraic Equations Analysis and Numerical Solution","author":"Kunkel Peter","key":"e_1_2_1_39_1","unstructured":"Peter Kunkel and Volker Mehrmann . 2006. Differential-Algebraic Equations Analysis and Numerical Solution . European Mathematical Society . Peter Kunkel and Volker Mehrmann. 2006. Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_2_1_41_1","first-page":"3","article-title":"Fundamental limits of cyber-physical systems modeling","volume":"1","author":"Lee Edward A.","year":"2016","unstructured":"Edward A. Lee . 2016 . Fundamental limits of cyber-physical systems modeling . ACM Trans. Cyber-Phys. Syst. 1 , 1 (2016), 3 . Edward A. Lee. 2016. Fundamental limits of cyber-physical systems modeling. ACM Trans. Cyber-Phys. Syst. 1, 1 (2016), 3.","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"e_1_2_1_42_1","volume-title":"Lee and Haiyang Zheng","author":"Edward","year":"2005","unstructured":"Edward A. Lee and Haiyang Zheng . 2005 . Operational semantics of hybrid systems. In Proceedings of the International Workshop on Hybrid Systems : Computation and Control. Springer , 25--53. Edward A. Lee and Haiyang Zheng. 2005. Operational semantics of hybrid systems. In Proceedings of the International Workshop on Hybrid Systems: Computation and Control. Springer, 25--53."},{"key":"e_1_2_1_43_1","unstructured":"MathWorks. [n.d.]. Simscape\u2014Model and simulate multidomain physical systems. https:\/\/www.mathworks.com\/products\/simscape.  MathWorks. [n.d.]. Simscape\u2014Model and simulate multidomain physical systems. https:\/\/www.mathworks.com\/products\/simscape."},{"key":"e_1_2_1_44_1","unstructured":"MathWorks. [n.d.]. The Mathworks\u2014Simulink\u2014Simulation and Model-based Design. http:\/\/www.mathworks.com\/products\/simulink\/.  MathWorks. [n.d.]. The Mathworks\u2014Simulink\u2014Simulation and Model-based Design. http:\/\/www.mathworks.com\/products\/simulink\/."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914043"},{"volume-title":"Modelica\u2014A Unified Object-Oriented Language for Physical Systems Modeling-Language Specification Version 3.4","author":"Modelica Association 2017.","key":"e_1_2_1_46_1","unstructured":"Modelica Association 2017. Modelica\u2014A Unified Object-Oriented Language for Physical Systems Modeling-Language Specification Version 3.4 . Modelica Association . Retrieved from: http:\/\/www.modelica.org. Modelica Association 2017. Modelica\u2014A Unified Object-Oriented Language for Physical Systems Modeling-Language Specification Version 3.4. Modelica Association. Retrieved from: http:\/\/www.modelica.org."},{"key":"e_1_2_1_47_1","unstructured":"MODELISAR Consortium and Modelica Association. Functional Mock-up Interface for Model Exchange and Co-Simulation\u2014Version 2.0.1. Retrieved from https:\/\/www.fmi-standard.org.  MODELISAR Consortium and Modelica Association. Functional Mock-up Interface for Model Exchange and Co-Simulation\u2014Version 2.0.1. Retrieved from https:\/\/www.fmi-standard.org."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.10.013"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the 4th International Modelica Conference TU Hamburg-Harburg","volume":"2","author":"Nytsch-Geusen Christoph","year":"2005","unstructured":"Christoph Nytsch-Geusen , Thilo Ernst , Andr\u00e9 Nordwig , Peter Schneider , Peter Schwarz , Matthias Vetter , Christof Wittwer , Andreas Holm , Thierry Nouidui , J\u00fcrgen Leopold , et\u00a0al. 2005 . MOSILAB: Development of a Modelica based generic simulation tool supporting model structural dynamics . In Proceedings of the 4th International Modelica Conference TU Hamburg-Harburg , Vol. 2 . Christoph Nytsch-Geusen, Thilo Ernst, Andr\u00e9 Nordwig, Peter Schneider, Peter Schwarz, Matthias Vetter, Christof Wittwer, Andreas Holm, Thierry Nouidui, J\u00fcrgen Leopold, et\u00a0al. 2005. MOSILAB: Development of a Modelica based generic simulation tool supporting model structural dynamics. In Proceedings of the 4th International Modelica Conference TU Hamburg-Harburg, Vol. 2."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/54431.54432"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021998624799"},{"key":"e_1_2_1_52_1","unstructured":"Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation Using Ptolemy II. Ptolemy.org. Retrieved from http:\/\/ptolemy.org\/books\/Systems.  Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation Using Ptolemy II. Ptolemy.org. Retrieved from http:\/\/ptolemy.org\/books\/Systems."},{"key":"e_1_2_1_53_1","volume-title":"Xerox PARC technical note","author":"Reenskaug Trygve","year":"1979","unstructured":"Trygve Reenskaug . 1979. Models\u2014Views\u2014Controllers. Xerox PARC technical note December 1979 . Retrieved from https:\/\/folk.uio.no\/trygver\/themes\/mvc\/mvc-index.html. Trygve Reenskaug. 1979. Models\u2014Views\u2014Controllers. Xerox PARC technical note December 1979. Retrieved from https:\/\/folk.uio.no\/trygver\/themes\/mvc\/mvc-index.html."},{"key":"e_1_2_1_54_1","volume-title":"Sch\u00f6n and David Broman","author":"Ronquist Fredrik","year":"2021","unstructured":"Fredrik Ronquist , Jan Kudlicka , Viktor Senderov , Johannes Borgstr\u00f6m , Nicolas Lartillot , Daniel Lund\u00e9n , Lawrence Murray , Thomas B. Sch\u00f6n and David Broman . 2021 . Universal probabilistic programming offers a powerful approach to statistical phylogenetics. Communications Biology 4, 244 (2021). https:\/\/doi.org\/10.1038\/s42003-021-01753-7 Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes Borgstr\u00f6m, Nicolas Lartillot, Daniel Lund\u00e9n, Lawrence Murray, Thomas B. Sch\u00f6n and David Broman. 2021. Universal probabilistic programming offers a powerful approach to statistical phylogenetics. Communications Biology 4, 244 (2021). https:\/\/doi.org\/10.1038\/s42003-021-01753-7"},{"key":"e_1_2_1_55_1","unstructured":"rr development team. 2020. rr: Lightweight recording & deterministic debugging. Retrieved from https:\/\/rr-project.org.  rr development team. 2020. rr: Lightweight recording & deterministic debugging. Retrieved from https:\/\/rr-project.org."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1981.4308636"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80012-6"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662726.2662735"},{"key":"e_1_2_1_59_1","unstructured":"Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. Retrieved from https:\/\/arXiv:1809.10756.  Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An introduction to probabilistic programming. Retrieved from https:\/\/arXiv:1809.10756."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0700-7"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_11"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research), Samuel Kaski and Jukka Corander (Eds.)","volume":"33","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan Willem Meent , and Vikash Mansinghka . 2014 . A new approach to probabilistic programming inference . In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research), Samuel Kaski and Jukka Corander (Eds.) , Vol. 33 . 1024--1032. Frank Wood, Jan Willem Meent, and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (Proceedings of Machine Learning Research), Samuel Kaski and Jukka Corander (Eds.), Vol. 33. 1024--1032."},{"key":"e_1_2_1_64_1","volume-title":"Proceedings of the 6th International Modelica Conference. 47--56","author":"Zimmer Dirk","year":"2008","unstructured":"Dirk Zimmer . 2008 . Introducing Sol: A general methodology for equation-based modeling of variable-structure systems . In Proceedings of the 6th International Modelica Conference. 47--56 . Dirk Zimmer. 2008. Introducing Sol: A general methodology for equation-based modeling of variable-structure systems. In Proceedings of the 6th International Modelica Conference. 47--56."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3431387","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3431387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:46Z","timestamp":1750195486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3431387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,18]]},"references-count":61,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,7,31]]}},"alternative-id":["10.1145\/3431387"],"URL":"https:\/\/doi.org\/10.1145\/3431387","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2021,5,18]]},"assertion":[{"value":"2020-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}