{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T03:50:38Z","timestamp":1775620238664,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NWO","award":["628.009.014"],"award-info":[{"award-number":["628.009.014"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3425898.3426958","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:26:21Z","timestamp":1606267581000},"page":"124-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["eFLINT: a domain-specific language for executable norm specifications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8113-2221","authenticated-orcid":false,"given":"L. Thomas","family":"van Binsbergen","sequence":"first","affiliation":[{"name":"CWI, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu-Chi","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"van Doesburg","sequence":"additional","affiliation":[{"name":"Leibniz Institute, Netherlands \/ University of Amsterdam, Netherlands \/ TNO, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"van Engers","sequence":"additional","affiliation":[{"name":"Leibniz Institute, Netherlands \/ University of Amsterdam, Netherlands \/ TNO, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"e_1_3_2_2_2_1","first-page":"2010","article-title":"Metalex (Open XML Interchange Format for Legal and Legislative Resources)","volume":"15710","author":"Boer A.","year":"2010","unstructured":"A. Boer , R. Hoekstra , E. De Maat , F. Vitali , M. Palmirani , and B. Ratai . 2010 . Metalex (Open XML Interchange Format for Legal and Legislative Resources) . Technical Report CWA , Vol. 15710 : 2010 . European Committee for Standardization (CEN). A. Boer, R. Hoekstra, E. De Maat, F. Vitali, M. Palmirani, and B. Ratai. 2010. Metalex (Open XML Interchange Format for Legal and Legislative Resources). Technical Report CWA, Vol. 15710 : 2010. European Committee for Standardization (CEN).","journal-title":"Technical Report CWA"},{"key":"e_1_3_2_2_3_1","unstructured":"V. Buterin. 2018. Ethereum White Paper. V. Buterin. 2018. Ethereum White Paper."},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the 16th Edition of the International Conference on Articial Intelligence and Law (ICAIL 2017 ). ACM, 19-28","author":"Chalkidis I.","unstructured":"I. Chalkidis , I. Androutsopoulos , and A. Michos . 2017. Extracting Contract Elements . In Proceedings of the 16th Edition of the International Conference on Articial Intelligence and Law (ICAIL 2017 ). ACM, 19-28 . htps:\/\/doi.org\/10.1145\/3086512.3086515 I. Chalkidis, I. Androutsopoulos, and A. Michos. 2017. Extracting Contract Elements. In Proceedings of the 16th Edition of the International Conference on Articial Intelligence and Law (ICAIL 2017 ). ACM, 19-28. htps:\/\/doi.org\/10.1145\/3086512.3086515"},{"key":"e_1_3_2_2_5_1","first-page":"99","volume-title":"Policy Conflict Analysis for Quality of Service Management. In 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005 )","author":"Charalambides M.","year":"2005","unstructured":"M. Charalambides , P. Flegkas , G. Pavlou , A. K. Bandara , E.C. Lupu , A. Russo , N. Dulay , M. Sloman , and J. Rubio-Loyola . 2005 . Policy Conflict Analysis for Quality of Service Management. In 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005 ) , 6-8 June 2005 , Stockholm, Sweden. IEEE , 99 - 108 . htps: \/\/doi.org\/10.1109\/POLICY. 2005.23 M. Charalambides, P. Flegkas, G. Pavlou, A. K. Bandara, E.C. Lupu, A. Russo, N. Dulay, M. Sloman, and J. Rubio-Loyola. 2005. Policy Conflict Analysis for Quality of Service Management. In 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005 ), 6-8 June 2005, Stockholm, Sweden. IEEE, 99-108. htps: \/\/doi.org\/10.1109\/POLICY. 2005.23"},{"key":"e_1_3_2_2_6_1","unstructured":"OASIS LegalXML eContracts TC. 2007. eContracts Version 1.0 Committee Specification. OASIS LegalXML eContracts TC. 2007. eContracts Version 1.0 Committee Specification."},{"key":"e_1_3_2_2_7_1","volume-title":"Solidity Documentation Online. htps:\/\/solidity. readthedocs.io. ( 2016 ). [Online, accessed","year":"2020","unstructured":"Ethereum. 2016. Solidity Documentation Online. htps:\/\/solidity. readthedocs.io. ( 2016 ). [Online, accessed 7 October 2020 ]. Ethereum. 2016. Solidity Documentation Online. htps:\/\/solidity. readthedocs.io. ( 2016 ). [Online, accessed 7 October 2020 ]."},{"key":"e_1_3_2_2_8_1","first-page":"196","volume-title":"Proceedings of the 27th International Conference on Software Engineering (ICSE 2005 ). Association for Computing Machinery","author":"Fisler K.","unstructured":"K. Fisler , S. Krishnamurthi , L.A. Meyerovich , and M.C. Tschantz . 2005. Verification and Change-Impact Analysis of Access-Control Policies . In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005 ). Association for Computing Machinery , New York, NY, USA , 196 - 205 . htps:\/\/doi.org\/10.1145\/1062455.1062502 K. Fisler, S. Krishnamurthi, L.A. Meyerovich, and M.C. Tschantz. 2005. Verification and Change-Impact Analysis of Access-Control Policies. In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005 ). Association for Computing Machinery, New York, NY, USA, 196-205. htps:\/\/doi.org\/10.1145\/1062455.1062502"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"crossref","unstructured":"G. Governatori F. Idelberger Z. Milosevic R. Riveret G. Sartor and X. Xu. 2018. On legal contracts imperative and declarative smart contracts and blockchain systems. Artificial Intelligence and Law 26 4 ( 2018 ) 377-409. htps:\/\/doi.org\/10.1007\/s10506-018-9223-3 G. Governatori F. Idelberger Z. Milosevic R. Riveret G. Sartor and X. Xu. 2018. On legal contracts imperative and declarative smart contracts and blockchain systems. Artificial Intelligence and Law 26 4 ( 2018 ) 377-409. htps:\/\/doi.org\/10.1007\/s10506-018-9223-3","DOI":"10.1007\/s10506-018-9223-3"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380564.1380569"},{"key":"e_1_3_2_2_12_1","volume-title":"Proceedings of the 3th International Conference on Artificial Intelligence and Law (ICAIL 1993 ). ACM, 175-184","author":"Herrestad H.","year":"1993","unstructured":"H. Herrestad . 1993 . Norms and Formalization . In Proceedings of the 3th International Conference on Artificial Intelligence and Law (ICAIL 1993 ). ACM, 175-184 . htps:\/\/doi.org\/10.1145\/112646.112667 H. Herrestad. 1993. Norms and Formalization. In Proceedings of the 3th International Conference on Artificial Intelligence and Law (ICAIL 1993 ). ACM, 175-184. htps:\/\/doi.org\/10.1145\/112646.112667"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","unstructured":"W.N. Hohfeld. 1913. Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. Yale Law Journal 23 ( 1 ) ( 1913 ) 59-64. W.N. Hohfeld. 1913. Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. Yale Law Journal 23 ( 1 ) ( 1913 ) 59-64.","DOI":"10.2307\/785533"},{"key":"e_1_3_2_2_14_1","unstructured":"A.A. Jabal M. Davari E. Bertino C. Makaya S. Calo D. Verma A. Russo and C. Williams. 2019. Methods and Tools for Policy Analysis. Comput. Surveys 51 6 Article 121 ( 2019 ). htps:\/\/doi.org\/10.1145\/ 3295749 A.A. Jabal M. Davari E. Bertino C. Makaya S. Calo D. Verma A. Russo and C. Williams. 2019. Methods and Tools for Policy Analysis. Comput. Surveys 51 6 Article 121 ( 2019 ). htps:\/\/doi.org\/10.1145\/ 3295749"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski and M.J. Sergot. 1986. A Logic-based Calculus of Events. New Generation Computing 4 1 ( 1986 ) 67-95. htps:\/\/doi.org\/10.1007\/ BF03037383 R.A. Kowalski and M.J. Sergot. 1986. A Logic-based Calculus of Events. New Generation Computing 4 1 ( 1986 ) 67-95. htps:\/\/doi.org\/10.1007\/ BF03037383","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_2_17_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system. ( 2008 ).","author":"Nakamoto S.","year":"2008","unstructured":"S. Nakamoto . 2008 . Bitcoin: A peer-to-peer electronic cash system. ( 2008 ). S. Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. ( 2008 )."},{"key":"e_1_3_2_2_18_1","volume-title":"Defeasible Logic","author":"Nute D.","unstructured":"D. Nute . 2003. Defeasible Logic . In Web Knowledge Management and Decision Support, O. Bartenstein, U. Geske, M. Hannebauer, and O. Yoshie (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 151-169. D. Nute. 2003. Defeasible Logic. In Web Knowledge Management and Decision Support, O. Bartenstein, U. Geske, M. Hannebauer, and O. Yoshie (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 151-169."},{"key":"e_1_3_2_2_19_1","unstructured":"Council of the EU. 2016. General Data Protection Regulation. ( 2016 ). Council of the EU. 2016. General Data Protection Regulation. ( 2016 )."},{"key":"e_1_3_2_2_20_1","volume-title":"Governance and Technology Series","volume":"30","author":"Padget J.","unstructured":"J. Padget , E. Elakehal , T. Li , and M. De Vos . 2016. InstAL: An Institutional Action Language. Law , Governance and Technology Series , Vol. 30 . Springer Verlag, 101. J. Padget, E. Elakehal, T. Li, and M. De Vos. 2016. InstAL: An Institutional Action Language. Law, Governance and Technology Series, Vol. 30. Springer Verlag, 101."},{"key":"e_1_3_2_2_21_1","first-page":"22","volume-title":"18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002, Proceedings (LNCS), P.J. Stuckey (Ed.)","volume":"2401","author":"Russo A.","unstructured":"A. Russo , R. Miller , B. Nuseibeh , and J. Kramer . 2002. An Abductive Approach for Analysing Event-Based Requirements Specifications. In Logic Programming , 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002, Proceedings (LNCS), P.J. Stuckey (Ed.) , Vol. 2401 . Springer , 22 - 37 . htps:\/\/doi.org\/10.1007\/3-540-45619-8_3 A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. 2002. An Abductive Approach for Analysing Event-Based Requirements Specifications. In Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002, Proceedings (LNCS), P.J. Stuckey (Ed.), Vol. 2401. Springer, 22-37. htps:\/\/doi.org\/10.1007\/3-540-45619-8_3"},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the 26th Italian Symposium on Advanced Database Systems (CEUR Workshop Proceedings)","volume":"2161","author":"Ruta M.","unstructured":"M. Ruta , F. Scioscia , S. Ieva , G. Capurso , A. Pinto , and E. Di Sciascio . 2018. A Blockchain Infrastructure for the Semantic Web of Things . In Proceedings of the 26th Italian Symposium on Advanced Database Systems (CEUR Workshop Proceedings) , Vol. 2161 . CEUR-WS.org. M. Ruta, F. Scioscia, S. Ieva, G. Capurso, A. Pinto, and E. Di Sciascio. 2018. A Blockchain Infrastructure for the Semantic Web of Things. In Proceedings of the 26th Italian Symposium on Advanced Database Systems (CEUR Workshop Proceedings), Vol. 2161. CEUR-WS.org."},{"key":"e_1_3_2_2_23_1","unstructured":"M. Ruta F. Scioscia S. Ieva G. Capurso and E. Di Sciascio. 2017. Semantic Blockchain to Improve Scalability in the Internet of Things. Open Journal of Internet of Things 3 ( 2017 ) 46-61. M. Ruta F. Scioscia S. Ieva G. Capurso and E. Di Sciascio. 2017. Semantic Blockchain to Improve Scalability in the Internet of Things. Open Journal of Internet of Things 3 ( 2017 ) 46-61."},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the Twelfth International Conference on Logic Programming","author":"Sadri F.","year":"1995","unstructured":"F. Sadri and R.A. Kowalski . 1995. Variants of the Event Calculus. In Logic Programming , Proceedings of the Twelfth International Conference on Logic Programming , Tokyo, Japan , June 13-16, 1995 , L. Sterling (Ed.). MIT Press, 67-81. F. Sadri and R.A. Kowalski. 1995. Variants of the Event Calculus. In Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, L. Sterling (Ed.). MIT Press, 67-81."},{"key":"e_1_3_2_2_25_1","unstructured":"F. Schrans D. Hails A. Harkness S. Drossopoulou and S. Eisenbach. 2019. Flint for Safer Smart Contracts. htps:\/\/arxiv.org\/pdf\/ 1904.06534. pdf. ( 2019 ). F. Schrans D. Hails A. Harkness S. Drossopoulou and S. Eisenbach. 2019. Flint for Safer Smart Contracts. htps:\/\/arxiv.org\/pdf\/ 1904.06534. pdf. ( 2019 )."},{"key":"e_1_3_2_2_26_1","volume-title":"The construction of social reality","author":"Searle R","unstructured":"J. R Searle . 1996. The construction of social reality . Penguin Books . J.R Searle. 1996. The construction of social reality. Penguin Books."},{"key":"e_1_3_2_2_27_1","volume-title":"Workshop on Trusted Smart Contracts (Financial Cryptography 2020 ).","author":"Seijas P.L.","unstructured":"P.L. Seijas , A. Nemish , D. Smith , and S. Thompson . 2020. Marlowe: implementing and analysing financial contracts on blockchain . In Workshop on Trusted Smart Contracts (Financial Cryptography 2020 ). P.L. Seijas, A. Nemish, D. Smith, and S. Thompson. 2020. Marlowe: implementing and analysing financial contracts on blockchain. In Workshop on Trusted Smart Contracts (Financial Cryptography 2020 )."},{"key":"e_1_3_2_2_28_1","volume-title":"28th IEEE Int. Requirements Engineering Conf. (RE 2020 ). IEEE.","author":"Sharifi S.","unstructured":"S. Sharifi , A. Parvizimosaed , D. Amyot , L. Logrippo , and J. Mylopoulos . 2020. Symboleo: Towards a Specification Language for Legal Contracts . In 28th IEEE Int. Requirements Engineering Conf. (RE 2020 ). IEEE. S. Sharifi, A. Parvizimosaed, D. Amyot, L. Logrippo, and J. Mylopoulos. 2020. Symboleo: Towards a Specification Language for Legal Contracts. In 28th IEEE Int. Requirements Engineering Conf. (RE 2020 ). IEEE."},{"key":"e_1_3_2_2_29_1","volume-title":"eXtensible Access Control Markup Language (XACML) Version 3.0. htp:\/\/docs.oasis-open. org\/xacml\/3.0\/xacml-3.0-core-spec-os-en. html. (22","author":"Standard ASIS","year":"2013","unstructured":"O ASIS Standard . 2013. eXtensible Access Control Markup Language (XACML) Version 3.0. htp:\/\/docs.oasis-open. org\/xacml\/3.0\/xacml-3.0-core-spec-os-en. html. (22 January 2013 ). OASIS Standard. 2013. eXtensible Access Control Markup Language (XACML) Version 3.0. htp:\/\/docs.oasis-open. org\/xacml\/3.0\/xacml-3.0-core-spec-os-en. html. (22 January 2013 )."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"N. Szabo. 1997. Formalizing and Securing Relationships on Public Networks. First Monday 2 9 ( 1997 ). htps:\/\/doi.org\/10.5210\/fm.v2i9. 548 N. Szabo. 1997. Formalizing and Securing Relationships on Public Networks. First Monday 2 9 ( 1997 ). htps:\/\/doi.org\/10.5210\/fm.v2i9. 548","DOI":"10.5210\/fm.v2i9.548"},{"key":"e_1_3_2_2_31_1","volume-title":"Haskell prototype implementation of the eFLINT language. htps:\/\/gitlab.com\/eflint\/haskell-implementation. ( 2020 ). [Online, accessed","author":"van Binsbergen L.T.","year":"2020","unstructured":"L.T. van Binsbergen . 2020. Haskell prototype implementation of the eFLINT language. htps:\/\/gitlab.com\/eflint\/haskell-implementation. ( 2020 ). [Online, accessed 7 October 2020 ]. L.T. van Binsbergen. 2020. Haskell prototype implementation of the eFLINT language. htps:\/\/gitlab.com\/eflint\/haskell-implementation. ( 2020 ). [Online, accessed 7 October 2020 ]."},{"key":"e_1_3_2_2_32_1","unstructured":"L.T. van Binsbergen and G. Sileno. 2020. Web-interface for automatic case assessment in eFLINT. htp:\/\/ltvanbinsbergen.nl\/publications\/ eflint\/online\/gpce2020\/. ( 2020 ). [Online accessed 8 October 2020 ]. L.T. van Binsbergen and G. Sileno. 2020. Web-interface for automatic case assessment in eFLINT. htp:\/\/ltvanbinsbergen.nl\/publications\/ eflint\/online\/gpce2020\/. ( 2020 ). [Online accessed 8 October 2020 ]."},{"key":"e_1_3_2_2_33_1","volume-title":"Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (GPCE 2020 ). ACM. htps:\/\/doi.org\/10","author":"van Binsbergen L. T.","unstructured":"L. T. van Binsbergen , M. Verano Merino , P. Jeanjean , T. van der Storm, B. Combemale, and O. Barais. 2020. A principled approach to REPL interpreters . In Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (GPCE 2020 ). ACM. htps:\/\/doi.org\/10 .1145\/3426428.3426917 L. T. van Binsbergen, M. Verano Merino, P. Jeanjean, T. van der Storm, B. Combemale, and O. Barais. 2020. A principled approach to REPL interpreters. In Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (GPCE 2020 ). ACM. htps:\/\/doi.org\/10.1145\/3426428.3426917"},{"key":"e_1_3_2_2_34_1","volume-title":"CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. In AI4J Workshop at ECAI 2016 ( AI4J 2016 ). 73-77.","author":"van Doesburg R.","year":"2016","unstructured":"R. van Doesburg , T. van der Storm , and T. van Engers . 2016 . CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. In AI4J Workshop at ECAI 2016 ( AI4J 2016 ). 73-77. R. van Doesburg, T. van der Storm, and T. van Engers. 2016. CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems. In AI4J Workshop at ECAI 2016 ( AI4J 2016 ). 73-77."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746090.2746115"},{"key":"e_1_3_2_2_36_1","unstructured":"D.D. Wood. 2014. Ethereum: a secure decentralised generalised transaction ledger. D.D. Wood. 2014. Ethereum: a secure decentralised generalised transaction ledger."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"H. Zhou X. Ouyang J. Su C. de Laat and Z. Zhao. 2019. Enforcing trustworthy cloud SLA with witnesses: A game theory-based model using smart contracts. Concurrency and Computation: Practice and Experience ( 2019 ) e5511. htps:\/\/doi.org\/10.1002\/cpe.5511 H. Zhou X. Ouyang J. Su C. de Laat and Z. Zhao. 2019. Enforcing trustworthy cloud SLA with witnesses: A game theory-based model using smart contracts. Concurrency and Computation: Practice and Experience ( 2019 ) e5511. htps:\/\/doi.org\/10.1002\/cpe.5511","DOI":"10.1002\/cpe.5511"},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC (CEUR Workshop Proceedings), F. Chiaraluce and L. Mostarda (Eds.)","volume":"2580","author":"Zichichi M.","unstructured":"M. Zichichi , M. Contu , S. Ferretti , and V. Rodr\u00edguez-Doncel . 2020. Ensuring Personal Data Anonymity in Data Marketplaces through Sensing-as-a-Service and Distributed Ledger . In Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC (CEUR Workshop Proceedings), F. Chiaraluce and L. Mostarda (Eds.) , Vol. 2580 . CEUR-WS.org. M. Zichichi, M. Contu, S. Ferretti, and V. Rodr\u00edguez-Doncel. 2020. Ensuring Personal Data Anonymity in Data Marketplaces through Sensing-as-a-Service and Distributed Ledger. In Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC (CEUR Workshop Proceedings), F. Chiaraluce and L. Mostarda (Eds.), Vol. 2580. CEUR-WS.org."}],"event":{"name":"GPCE '20: Concepts and Experiences","location":"Virtual USA","acronym":"GPCE '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425898.3426958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:24Z","timestamp":1750195464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":38,"alternative-id":["10.1145\/3425898.3426958","10.1145\/3425898"],"URL":"https:\/\/doi.org\/10.1145\/3425898.3426958","relation":{},"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}