{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T21:51:43Z","timestamp":1791323503851,"version":"4.3.1"},"reference-count":105,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2021,6,5]],"date-time":"2021-06-05T00:00:00Z","timestamp":1622851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Qtum Foundation, Singapore"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2022,6,30]]},"abstract":"<jats:p>Smart contracts are a key component of today\u2019s blockchains. They are critical in controlling decentralized autonomous organizations (DAO). However, smart contracts are not yet legally binding nor enforceable; this makes it difficult for businesses to adopt the DAO paradigm. Therefore, this study reviews existing Smart Contract Languages (SCL) and identifies properties that are critical to any future SCL for drafting legally binding contracts. This is achieved by conducting a Systematic Literature Review (SLR) of white- and grey literature published between 2015 and 2019. Using the SLR methodology, 45 Selected and 28 Supporting Studies detailing 45 state-of-the-art SCLs are selected. Finally, 10 SCL properties that enable legally compliant DAOs are discovered, and specifications for developing SCLs are explored.<\/jats:p>","DOI":"10.1145\/3453475","type":"journal-article","created":{"date-parts":[[2021,6,5]],"date-time":"2021-06-05T16:13:25Z","timestamp":1622909605000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Legally Enforceable Smart-Contract Languages"],"prefix":"10.1145","volume":"54","author":[{"given":"Vimal","family":"Dwivedi","sequence":"first","affiliation":[{"name":"Blockchain Technology Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vishwajeet","family":"Pattanaik","sequence":"additional","affiliation":[{"name":"Information Systems Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vipin","family":"Deval","sequence":"additional","affiliation":[{"name":"Blockchain Technology Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abhishek","family":"Dixit","sequence":"additional","affiliation":[{"name":"Blockchain Technology Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Norta","sequence":"additional","affiliation":[{"name":"Blockchain Technology Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Draheim","sequence":"additional","affiliation":[{"name":"Information Systems Group, Tallinn University of Technology, Tallinn, Harju County, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,5]]},"reference":[{"key":"e_1_2_2_1_1","series-title":"Lecture Notes in Computer Science","volume-title":"Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economies","author":"Abodei Ebizimoh","unstructured":"Ebizimoh Abodei , Alex Norta , Irene Azogu , Chibuzor Udokwu , and Dirk Draheim . 2019. Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economies . In Lecture Notes in Computer Science . Springer International Publishing , 464\u2013475. DOI:https:\/\/doi.org\/10.1007\/978-3-030-29374-1_38 Ebizimoh Abodei, Alex Norta, Irene Azogu, Chibuzor Udokwu, and Dirk Draheim. 2019. Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economies. In Lecture Notes in Computer Science. Springer International Publishing, 464\u2013475. DOI:https:\/\/doi.org\/10.1007\/978-3-030-29374-1_38"},{"key":"e_1_2_2_2_1","series-title":"Lecture Notes in Computer Science","volume-title":"A framework for the adoption of blockchain-based e-procurement systems in the public sector","author":"Akaba Temofe Isaac","unstructured":"Temofe Isaac Akaba , Alex Norta , Chibuzor Udokwu , and Dirk Draheim . 2020. A framework for the adoption of blockchain-based e-procurement systems in the public sector . In Lecture Notes in Computer Science . Springer International Publishing , 3\u201314. DOI:https:\/\/doi.org\/10.1007\/978-3-030-44999-5_1 Temofe Isaac Akaba, Alex Norta, Chibuzor Udokwu, and Dirk Draheim. 2020. A framework for the adoption of blockchain-based e-procurement systems in the public sector. In Lecture Notes in Computer Science. Springer International Publishing, 3\u201314. DOI:https:\/\/doi.org\/10.1007\/978-3-030-44999-5_1"},{"key":"e_1_2_2_3_1","volume-title":"Computer Science & Information Technology (CS & IT)","author":"Alharby Maher","unstructured":"Maher Alharby and Aad van Moorsel . 2017. Blockchain based smart contracts: A systematic mapping study . In Computer Science & Information Technology (CS & IT) . Academy & Industry Research Collaboration Center (AIRCC) . 125--140. DOI:https:\/\/doi.org\/10.5121\/csit.2017.71011 Maher Alharby and Aad van Moorsel. 2017. Blockchain based smart contracts: A systematic mapping study. In Computer Science & Information Technology (CS & IT). Academy & Industry Research Collaboration Center (AIRCC). 125--140. DOI:https:\/\/doi.org\/10.5121\/csit.2017.71011"},{"key":"e_1_2_2_4_1","first-page":"5","article-title":"A systematic mapping study on current research topics in smart contracts","volume":"9","author":"Alharby Maher","year":"2017","unstructured":"Maher Alharby and Aad van Moorsel . 2017 . A systematic mapping study on current research topics in smart contracts . Int. J. Comput. Sci. Inf. Technol. 9 , 5 (Oct. 2017), 151\u2013164. DOI:https:\/\/doi.org\/10.5121\/ijcsit.2017.9511 Maher Alharby and Aad van Moorsel. 2017. A systematic mapping study on current research topics in smart contracts. Int. J. Comput. Sci. Inf. Technol. 9, 5 (Oct. 2017), 151\u2013164. DOI:https:\/\/doi.org\/10.5121\/ijcsit.2017.9511","journal-title":"Int. J. Comput. Sci. Inf. Technol."},{"key":"e_1_2_2_5_1","unstructured":"Stephen Andrews. 2019. Introduction\u2014Learn Fi. Retrieved from https:\/\/learn.fi-code.com\/. Stephen Andrews. 2019. Introduction\u2014Learn Fi. Retrieved from https:\/\/learn.fi-code.com\/."},{"key":"e_1_2_2_7_1","volume-title":"Service-Oriented Computing","author":"Astigarraga Tara","unstructured":"Tara Astigarraga , Xiaoyan Chen , Yaoliang Chen , Jingxiao Gu , Richard Hull , Limei Jiao , Yuliang Li , and Petr Novotny . 2018. Empowering business-level blockchain users with a rules framework for smart contracts . In Service-Oriented Computing . Springer International Publishing , Cham , 111\u2013128. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03596-9_8 Tara Astigarraga, Xiaoyan Chen, Yaoliang Chen, Jingxiao Gu, Richard Hull, Limei Jiao, Yuliang Li, and Petr Novotny. 2018. Empowering business-level blockchain users with a rules framework for smart contracts. In Service-Oriented Computing. Springer International Publishing, Cham, 111\u2013128. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03596-9_8"},{"key":"e_1_2_2_8_1","series-title":"Lecture Notes in Computer Science","volume-title":"A survey of attacks on Ethereum smart contracts (SoK)","author":"Atzei Nicola","unstructured":"Nicola Atzei , Massimo Bartoletti , and Tiziana Cimoli . 2017. A survey of attacks on Ethereum smart contracts (SoK) . In Lecture Notes in Computer Science . Springer , Berlin , 164\u2013186. DOI:https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8 Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2017. A survey of attacks on Ethereum smart contracts (SoK). In Lecture Notes in Computer Science. Springer, Berlin, 164\u2013186. DOI:https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"e_1_2_2_9_1","volume-title":"A formal model of bitcoin transactions","author":"Atzei Nicola","unstructured":"Nicola Atzei , Massimo Bartoletti , Stefano Lande , and Roberto Zunino . 2018. A formal model of bitcoin transactions . In Financial Cryptography and Data Security, Sarah Meiklejohn and Kazue Sako (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 541\u2013560. DOI:https:\/\/doi.org\/10.1007\/978-3-662-58387-6_29 Nicola Atzei, Massimo Bartoletti, Stefano Lande, and Roberto Zunino. 2018. A formal model of bitcoin transactions. In Financial Cryptography and Data Security, Sarah Meiklejohn and Kazue Sako (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 541\u2013560. DOI:https:\/\/doi.org\/10.1007\/978-3-662-58387-6_29"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326365.3326405"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243795"},{"key":"e_1_2_2_12_1","volume-title":"Ride: A Smart Contract Language for Waves. Technical Report.","author":"Begicheva A.","year":"2019","unstructured":"A. Begicheva and I. Smagin . 2019 . Ride: A Smart Contract Language for Waves. Technical Report. A. Begicheva and I. Smagin. 2019. Ride: A Smart Contract Language for Waves. Technical Report."},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the Congress of the United Nations Commission on International Trade Law (Wien","author":"Farrell S.","year":"2017","unstructured":"S. Farrell , H. Machin , and R. Hinchliffe . 2017. Lost and found in smart contract translation \u2013 considerations in transitioning to automation in legal architecture . In Proceedings of the Congress of the United Nations Commission on International Trade Law (Wien , Uncitral, Ebook 2017 ). 95--104. S. Farrell, H. Machin, and R. Hinchliffe. 2017. Lost and found in smart contract translation \u2013 considerations in transitioning to automation in legal architecture. In Proceedings of the Congress of the United Nations Commission on International Trade Law (Wien, Uncitral, Ebook 2017). 95--104."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_2_2_15_1","volume-title":"Financial Cryptography and Data Security","author":"Biryukov Alex","unstructured":"Alex Biryukov , Dmitry Khovratovich , and Sergei Tikhomirov . 2017. Findel: secure derivative contracts for ethereum . In Financial Cryptography and Data Security . Springer International Publishing , 453--467. https:\/\/doi.org\/10.1007\/978-3-319-70278-0_28 Alex Biryukov, Dmitry Khovratovich, and Sergei Tikhomirov. 2017. Findel: secure derivative contracts for ethereum. In Financial Cryptography and Data Security. Springer International Publishing, 453--467. https:\/\/doi.org\/10.1007\/978-3-319-70278-0_28"},{"key":"e_1_2_2_16_1","volume-title":"Move: A Language with Programmable Resources. Technical Report.","author":"Blackshear Sam","year":"2019","unstructured":"Sam Blackshear , Evan Cheng , David L. Dill , Victor Gao , Ben Maurer , Todd Nowacki , Alistair Pott , Shaz Qadeer , Dario Russi , Stephane Sezer , Tim Zakian , and Runtian Zhou . 2019 . Move: A Language with Programmable Resources. Technical Report. Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Russi, Stephane Sezer, Tim Zakian, and Runtian Zhou. 2019. Move: A Language with Programmable Resources. Technical Report."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1108\/JRF-02-2017-0025"},{"key":"e_1_2_2_18_1","volume-title":"Towards a unifying theory for choreography conformance and contract compliance","author":"Bravetti Mario","unstructured":"Mario Bravetti and Gianluigi Zavattaro . 2007. Towards a unifying theory for choreography conformance and contract compliance . In Software Composition, Markus Lumpe and Wim Vanderperren (Eds.). Springer , Berlin , 34\u201350. DOI:https:\/\/doi.org\/10.1007\/978-3-540-77351-1_4 Mario Bravetti and Gianluigi Zavattaro. 2007. Towards a unifying theory for choreography conformance and contract compliance. In Software Composition, Markus Lumpe and Wim Vanderperren (Eds.). Springer, Berlin, 34\u201350. DOI:https:\/\/doi.org\/10.1007\/978-3-540-77351-1_4"},{"key":"e_1_2_2_19_1","volume-title":"Retrieved","author":"Burg Michael","year":"2017","unstructured":"Michael Burg . 2017 . Write Your Next Ethereum Contract in Pyramid Scheme . Retrieved October 30, 2018 from http:\/\/www.michaelburge.us\/2017\/11\/28\/write-your-next-ethereum-contract-in-pyramid-scheme.html. Michael Burg. 2017. Write Your Next Ethereum Contract in Pyramid Scheme. Retrieved October 30, 2018 from http:\/\/www.michaelburge.us\/2017\/11\/28\/write-your-next-ethereum-contract-in-pyramid-scheme.html."},{"key":"e_1_2_2_20_1","volume-title":"Retrieved","author":"Buterin Vitalik","year":"2018","unstructured":"Vitalik Buterin . 2018 . Vyper Documentation . Retrieved October 30, 2018 from https:\/\/media.readthedocs.org\/pdf\/viper\/latest\/viper.pdf. Vitalik Buterin. 2018. Vyper Documentation. Retrieved October 30, 2018 from https:\/\/media.readthedocs.org\/pdf\/viper\/latest\/viper.pdf."},{"key":"e_1_2_2_21_1","volume-title":"Retrieved","year":"2019","unstructured":"Cardano. 2019 . Introduction\u2014Cardano . Retrieved October 30, 2018 from https:\/\/cardanodocs.com\/technical\/plutus\/introduction\/. Cardano. 2019. Introduction\u2014Cardano. Retrieved October 30, 2018 from https:\/\/cardanodocs.com\/technical\/plutus\/introduction\/."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.11.006"},{"key":"e_1_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Usman W. Chohan. 2017. The decentralized autonomous organization and governance issues. SSRN Electr. J. (2017) 1--7. DOI:https:\/\/doi.org\/10.2139\/ssrn.3082055 Usman W. Chohan. 2017. The decentralized autonomous organization and governance issues. SSRN Electr. J. (2017) 1--7. DOI:https:\/\/doi.org\/10.2139\/ssrn.3082055","DOI":"10.2139\/ssrn.3082055"},{"key":"e_1_2_2_24_1","volume-title":"Retrieved","year":"2017","unstructured":"Christian. 2017 . Babbage\u2014A Mechanical Smart Contract Language . Retrieved October 30, 2018 from https:\/\/medium.com\/@chriseth\/babbage-a-mechanical-smart-contract-language-5c8329ec5a0e. Christian. 2017. Babbage\u2014A Mechanical Smart Contract Language. Retrieved October 30, 2018 from https:\/\/medium.com\/@chriseth\/babbage-a-mechanical-smart-contract-language-5c8329ec5a0e."},{"key":"e_1_2_2_25_1","doi-asserted-by":"crossref","first-page":"338","DOI":"10.69554\/XYVT7035","article-title":"Smart contract templates: Legal semantics and code validation","volume":"2","author":"Clack Christopher D.","year":"2018","unstructured":"Christopher D. Clack . 2018 . Smart contract templates: Legal semantics and code validation . J. Digit. Bank. 2 , 4 (2018), 338 \u2013 352 . Christopher D. Clack. 2018. Smart contract templates: Legal semantics and code validation. J. Digit. Bank. 2, 4 (2018), 338\u2013352.","journal-title":"J. Digit. Bank."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3417516"},{"key":"e_1_2_2_27_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201915)","volume":"2015","author":"Crary Karl","unstructured":"Karl Crary and Michael J. Sullivan . 2015. Peer-to-peer affine commitment using Bitcoin . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201915) , Vol. 2015 . Association for Computing Machinery, 479\u2013488. DOI:https:\/\/doi.org\/10.1145\/2737924.2737997 Karl Crary and Michael J. Sullivan. 2015. Peer-to-peer affine commitment using Bitcoin. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201915), Vol. 2015. Association for Computing Machinery, 479\u2013488. DOI:https:\/\/doi.org\/10.1145\/2737924.2737997"},{"key":"e_1_2_2_29_1","volume-title":"Blockchain technology as a regulatory technology: From code is law to law is code. First Monday 21, 12","author":"Filippi Primavera De","year":"2016","unstructured":"Primavera De Filippi and Samer Hassan . 2016. Blockchain technology as a regulatory technology: From code is law to law is code. First Monday 21, 12 ( 2016 ). DOI:https:\/\/doi.org\/10.5210\/fm.v21i12.7113 Primavera De Filippi and Samer Hassan. 2016. Blockchain technology as a regulatory technology: From code is law to law is code. First Monday 21, 12 (2016). DOI:https:\/\/doi.org\/10.5210\/fm.v21i12.7113"},{"key":"e_1_2_2_30_1","volume-title":"Proceedings of the CEUR Workshop, Proper E. Gordijn J. (Ed.)","volume":"2239","author":"Kruijff Joost De","year":"2018","unstructured":"Joost De Kruijff and Hans Weigand . 2018 . An introduction to commitment based smart contracts using ReactionRuleML . In Proceedings of the CEUR Workshop, Proper E. Gordijn J. (Ed.) , Vol. 2239 . CEUR-WS, 149\u2013157. Joost De Kruijff and Hans Weigand. 2018. An introduction to commitment based smart contracts using ReactionRuleML. In Proceedings of the CEUR Workshop, Proper E. Gordijn J. (Ed.), Vol. 2239. CEUR-WS, 149\u2013157."},{"key":"e_1_2_2_31_1","volume-title":"Proceedings of the CEUR Workshop, H. Weigand, P. Johannesson, and B. Andersson (Eds.)","volume":"2383","author":"Kruijff Joost De","year":"2019","unstructured":"Joost De Kruijff and Hans Weigand . 2019 . Introducing commitRuleML for smart contracts . In Proceedings of the CEUR Workshop, H. Weigand, P. Johannesson, and B. Andersson (Eds.) , Vol. 2383 . CEUR-WS. Joost De Kruijff and Hans Weigand. 2019. Introducing commitRuleML for smart contracts. In Proceedings of the CEUR Workshop, H. Weigand, P. Johannesson, and B. Andersson (Eds.), Vol. 2383. CEUR-WS."},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.08.021"},{"key":"e_1_2_2_35_1","volume-title":"Proceedings of the 7th International Conference on Electronic Governance and Open Society\u2014Challenges in Eurasia (EGOSE\u201920)","author":"Draheim Dirk","year":"2021","unstructured":"Dirk Draheim . 2021 . Blockchains from an e-governance perspective: Potential and challenges . In Proceedings of the 7th International Conference on Electronic Governance and Open Society\u2014Challenges in Eurasia (EGOSE\u201920) ,Communications in Computer and Information Science. Springer, 11--13. https:\/\/doi.org\/10.1007\/978-3-030-67238-6 Dirk Draheim. 2021. Blockchains from an e-governance perspective: Potential and challenges. In Proceedings of the 7th International Conference on Electronic Governance and Open Society\u2014Challenges in Eurasia (EGOSE\u201920),Communications in Computer and Information Science. Springer, 11--13. https:\/\/doi.org\/10.1007\/978-3-030-67238-6"},{"key":"e_1_2_2_36_1","volume-title":"\u201cThe DAO","author":"DuPont Quinn","unstructured":"Quinn DuPont . 2017. Experiments in algorithmic governance: A history and ethnography of \u201cThe DAO ,\u201d a failed decentralized autonomous organization. In Bitcoin and Beyond: Cryptocurrencies, Blockchains and Global Governance. Routledge , 157\u2013177. DOI:https:\/\/doi.org\/10.4324\/9781315211909-8 Quinn DuPont. 2017. Experiments in algorithmic governance: A history and ethnography of \u201cThe DAO,\u201d a failed decentralized autonomous organization. In Bitcoin and Beyond: Cryptocurrencies, Blockchains and Global Governance. Routledge, 157\u2013177. DOI:https:\/\/doi.org\/10.4324\/9781315211909-8"},{"key":"e_1_2_2_37_1","volume-title":"Fift: A Brief Introduction. Technical Report.","author":"Durov Nikolai","year":"2019","unstructured":"Nikolai Durov . 2019 . Fift: A Brief Introduction. Technical Report. Nikolai Durov. 2019. Fift: A Brief Introduction. Technical Report."},{"key":"e_1_2_2_38_1","volume-title":"Advances in Computing and Data Sciences","author":"Dwivedi Vimal","unstructured":"Vimal Dwivedi , Vipin Deval , Abhishek Dixit , and Alex Norta . 2019. Formal-verification of smart-contract languages: A survey . In Advances in Computing and Data Sciences . Springer Singapore , 738\u2013747. DOI:https:\/\/doi.org\/10.1007\/978-981-13-9942-8_68 Vimal Dwivedi, Vipin Deval, Abhishek Dixit, and Alex Norta. 2019. Formal-verification of smart-contract languages: A survey. In Advances in Computing and Data Sciences. Springer Singapore, 738\u2013747. DOI:https:\/\/doi.org\/10.1007\/978-981-13-9942-8_68"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2018.00016"},{"key":"e_1_2_2_41_1","volume-title":"Financial Cryptography and Data Security","author":"Firas Al K.","unstructured":"Al K. Firas 2017. Trust in smart contracts is a process, as well . In Financial Cryptography and Data Security . Springer International , 510\u2013519. DOI:https:\/\/doi.org\/10.1007\/978-3-319-70278-0_32 Al K. Firas et al.2017. Trust in smart contracts is a process, as well. In Financial Cryptography and Data Security. Springer International, 510\u2013519. DOI:https:\/\/doi.org\/10.1007\/978-3-319-70278-0_32"},{"key":"e_1_2_2_42_1","volume-title":"Notes on Numerical Fluid Mechanics and Multidisciplinary Design","author":"R. Nick","unstructured":"R. Nick et al. 2005. Workflow resource patterns: Identification, representation and tool support . In Notes on Numerical Fluid Mechanics and Multidisciplinary Design . Springer International Publishing , 216\u2013232. DOI:https:\/\/doi.org\/10.1007\/11431855_16 R. Nick et al.2005. Workflow resource patterns: Identification, representation and tool support. In Notes on Numerical Fluid Mechanics and Multidisciplinary Design. Springer International Publishing, 216\u2013232. DOI:https:\/\/doi.org\/10.1007\/11431855_16"},{"key":"e_1_2_2_43_1","unstructured":"Ethereum. 2014. Solidity Documentation. Technical Report. Ethereum. 2014. Solidity Documentation. Technical Report."},{"key":"e_1_2_2_44_1","volume-title":"Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W\u201916)","author":"Frantz C. K.","year":"2016","unstructured":"C. K. Frantz and M. Nowostawski . 2016. From institutions to code: Towards automated generation of smart contracts . In Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W\u201916) . 210\u2013215. DOI:https:\/\/doi.org\/10.1109\/FAS-W. 2016 .53 C. K. Frantz and M. Nowostawski. 2016. From institutions to code: Towards automated generation of smart contracts. In Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W\u201916). 210\u2013215. DOI:https:\/\/doi.org\/10.1109\/FAS-W.2016.53"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2017.05.007"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_2_2_47_1","first-page":"2","article-title":"Legal engineering on the blockchain: \u2018Smart contracts\u2019 as legal conduct","volume":"29","author":"Goldenfein Jake","year":"2018","unstructured":"Jake Goldenfein and Andrea Leiter . 2018 . Legal engineering on the blockchain: \u2018Smart contracts\u2019 as legal conduct . Law Crit. 29 , 2 (May 2018), 141\u2013149. DOI:https:\/\/doi.org\/10.1007\/s10978-018-9224-0 Jake Goldenfein and Andrea Leiter. 2018. Legal engineering on the blockchain: \u2018Smart contracts\u2019 as legal conduct. Law Crit. 29, 2 (May 2018), 141\u2013149. DOI:https:\/\/doi.org\/10.1007\/s10978-018-9224-0","journal-title":"Law Crit."},{"key":"e_1_2_2_48_1","volume-title":"The Politics of Bitcoin: Software as Right-wing Extremism","author":"Golumbia David","unstructured":"David Golumbia . 2016. The Politics of Bitcoin: Software as Right-wing Extremism . University of Minnesota Press. David Golumbia. 2016. The Politics of Bitcoin: Software as Right-wing Extremism. University of Minnesota Press."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9223-3"},{"key":"e_1_2_2_50_1","doi-asserted-by":"crossref","unstructured":"Ilya Grishchenko Matteo Maffei and Clara Schneidewind. 2018. Foundations and tools for the static analysis of Ethereum smart contracts. In Computer Aided Verification Hana Chockler and Georg Weissenbacher (Eds.). Springer International Cham 51\u201378. DOI:https:\/\/doi.org\/10.1007\/978-3-319-96145-3_4 Ilya Grishchenko Matteo Maffei and Clara Schneidewind. 2018. Foundations and tools for the static analysis of Ethereum smart contracts. In Computer Aided Verification Hana Chockler and Georg Weissenbacher (Eds.). Springer International Cham 51\u201378. DOI:https:\/\/doi.org\/10.1007\/978-3-319-96145-3_4","DOI":"10.1007\/978-3-319-96145-3_4"},{"key":"e_1_2_2_51_1","volume-title":"Arpan Kumar Kar, and P. Vigneswara Ilavarasan","author":"Grover Purva","year":"2018","unstructured":"Purva Grover , Arpan Kumar Kar, and P. Vigneswara Ilavarasan . 2018 . Blockchain for businesses: A systematic literature review. In Conference on e-Business, e-Services and e-Society. Springer , 325\u2013336. DOI:https:\/\/doi.org\/10.1007\/978-3-030-02131-3_29 Purva Grover, Arpan Kumar Kar, and P. Vigneswara Ilavarasan. 2018. Blockchain for businesses: A systematic literature review. In Conference on e-Business, e-Services and e-Society. Springer, 325\u2013336. DOI:https:\/\/doi.org\/10.1007\/978-3-030-02131-3_29"},{"key":"e_1_2_2_52_1","unstructured":"Dominik Harz and William Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. arXiv:1809.09805. Retrieved from https:\/\/arxiv.org\/abs\/1809.09805. Dominik Harz and William Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. arXiv:1809.09805. Retrieved from https:\/\/arxiv.org\/abs\/1809.09805."},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2018.03.005"},{"key":"e_1_2_2_54_1","volume-title":"Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC\u201918)","volume":"01","author":"He X.","year":"2018","unstructured":"X. He , B. Qin , Y. Zhu , X. Chen , and Y. Liu . 2018. SPESC: A specification language for smart contracts . In Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC\u201918) , Vol. 01 . 132\u2013137. DOI:https:\/\/doi.org\/10.1109\/COMPSAC. 2018 .00025 X. He, B. Qin, Y. Zhu, X. Chen, and Y. Liu. 2018. SPESC: A specification language for smart contracts. In Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC\u201918), Vol. 01. 132\u2013137. DOI:https:\/\/doi.org\/10.1109\/COMPSAC.2018.00025"},{"key":"e_1_2_2_55_1","volume-title":"Retrieved","author":"IOHK.","year":"2019","unstructured":"IOHK. 2019 . plutus\/extended-utxo-spec at master \u00b7 input-output-hk\/plutus \u00b7 GitHub . Retrieved October 30, 2020 from https:\/\/github.com\/input-output-hk\/plutus\/tree\/master\/extended-utxo-spec. IOHK. 2019. plutus\/extended-utxo-spec at master \u00b7 input-output-hk\/plutus \u00b7 GitHub. Retrieved October 30, 2020 from https:\/\/github.com\/input-output-hk\/plutus\/tree\/master\/extended-utxo-spec."},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20948-3_16"},{"key":"e_1_2_2_57_1","volume-title":"White Paper","author":"Jentzsch Christoph","year":"2016","unstructured":"Christoph Jentzsch . 2016 . Decentralized autonomous organization to automate governance . White Paper , November (2016). Christoph Jentzsch. 2016. Decentralized autonomous organization to automate governance. White Paper, November (2016)."},{"key":"e_1_2_2_58_1","volume-title":"IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics. Technical Report.","author":"Kasampalis Theodoros","year":"2018","unstructured":"Theodoros Kasampalis . 2018 . IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics. Technical Report. Theodoros Kasampalis. 2018. IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics. Technical Report."},{"key":"e_1_2_2_60_1","volume-title":"Mandala: A smart contract programming language. arXiv:1911.11376.","author":"Knecht Markus","year":"2018","unstructured":"Markus Knecht . 2018 . Mandala: A smart contract programming language. arXiv:1911.11376. Retrieved from https:\/\/arxiv.org\/abs\/1911.11376. Markus Knecht. 2018. Mandala: A smart contract programming language. arXiv:1911.11376. Retrieved from https:\/\/arxiv.org\/abs\/1911.11376."},{"key":"e_1_2_2_61_1","volume-title":"Proceedings of the International Symposium on Leveraging Applications of Formal Methods","volume":"11247","author":"Seijas Pablo Lamela","year":"2018","unstructured":"Pablo Lamela Seijas and Simon Thompson . 2018 . Marlowe: Financial contracts on blockchain . In Proceedings of the International Symposium on Leveraging Applications of Formal Methods , Vol. 11247 LNCS. 356\u2013375. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03427-6_27 Pablo Lamela Seijas and Simon Thompson. 2018. Marlowe: Financial contracts on blockchain. In Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Vol. 11247 LNCS. 356\u2013375. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03427-6_27"},{"key":"e_1_2_2_62_1","volume-title":"Integration of blockchain technology into a land registration system for immutable traceability: A casestudy of Georgia","author":"Lazuashvili Nino","unstructured":"Nino Lazuashvili , Alex Norta , and Dirk Draheim . 2019. Integration of blockchain technology into a land registration system for immutable traceability: A casestudy of Georgia . Springer International Publishing , Cham , 219\u2013233. DOI:https:\/\/doi.org\/10.1007\/978-3-030-30429-4_15 Nino Lazuashvili, Alex Norta, and Dirk Draheim. 2019. Integration of blockchain technology into a land registration system for immutable traceability: A casestudy of Georgia. Springer International Publishing, Cham, 219\u2013233. DOI:https:\/\/doi.org\/10.1007\/978-3-030-30429-4_15"},{"key":"e_1_2_2_63_1","volume-title":"Formal verification of blockchain smart contract based on colored Petri net models","author":"Liu Zhentian","unstructured":"Zhentian Liu and Jing Liu . 2019. Formal verification of blockchain smart contract based on colored Petri net models . IEEE , 555\u2013560. DOI:https:\/\/doi.org\/10.1109\/compsac.2019.10265 Zhentian Liu and Jing Liu. 2019. Formal verification of blockchain smart contract based on colored Petri net models. IEEE, 555\u2013560. DOI:https:\/\/doi.org\/10.1109\/compsac.2019.10265"},{"key":"e_1_2_2_64_1","doi-asserted-by":"crossref","first-page":"1162","DOI":"10.1002\/spe.2702","article-title":"Caterpillar: A business process execution engine on the Ethereum blockchain. Softw","volume":"49","author":"L\u00f3pez-Pintado Orlenys","year":"2019","unstructured":"Orlenys L\u00f3pez-Pintado , Luciano Garc\u00eda-Ba\u00f1uelos , Marlon Dumas , Ingo Weber , and Alexander Ponomarev . 2019 . Caterpillar: A business process execution engine on the Ethereum blockchain. Softw .: Pract. Exp. 49 , 7 (2019), 1162 \u2013 1193 . DOI:https:\/\/doi.org\/10.1002\/spe.2702 Orlenys L\u00f3pez-Pintado, Luciano Garc\u00eda-Ba\u00f1uelos, Marlon Dumas, Ingo Weber, and Alexander Ponomarev. 2019. Caterpillar: A business process execution engine on the Ethereum blockchain. Softw.: Pract. Exp. 49, 7 (2019), 1162\u20131193. DOI:https:\/\/doi.org\/10.1002\/spe.2702","journal-title":"Pract. Exp."},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.10.004"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.3571045"},{"key":"e_1_2_2_68_1","volume-title":"Formality Documentation Release 0.3.157. Retrieved","year":"2020","unstructured":"MaiaVictor. 2019. Formality Documentation Release 0.3.157. Retrieved November 5, 2020 from https:\/\/github.com\/MaiaVictor\/Formality. MaiaVictor. 2019. Formality Documentation Release 0.3.157. Retrieved November 5, 2020 from https:\/\/github.com\/MaiaVictor\/Formality."},{"key":"e_1_2_2_69_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the International Conference on Principles of Security and Trust","author":"Mavridou Anastasia","unstructured":"Anastasia Mavridou and Aron Laszka . 2018. Tool demonstration: FSolidM for designing secure ethereum smart contracts . In Proceedings of the International Conference on Principles of Security and Trust , Lecture Notes in Computer Science , Vol. 10804 . Springer , 270\u2013277. DOI:https:\/\/doi.org\/10.1007\/978-3-319-89722-6_11 arxiv:1802.09949 Anastasia Mavridou and Aron Laszka. 2018. Tool demonstration: FSolidM for designing secure ethereum smart contracts. In Proceedings of the International Conference on Principles of Security and Trust, Lecture Notes in Computer Science, Vol. 10804. Springer, 270\u2013277. DOI:https:\/\/doi.org\/10.1007\/978-3-319-89722-6_11 arxiv:1802.09949"},{"key":"e_1_2_2_70_1","volume-title":"The Rholang specification 0.2. Retrieved","author":"Meredith Lucius Gregory","year":"2021","unstructured":"Lucius Gregory Meredith , Jack Pettersson , Gary Stephenson , Michael Stay , Kent Shikama , and Joseph Denman . 2018. Contracts, Composition, and Scaling : The Rholang specification 0.2. Retrieved May 1, 2021 from https:\/\/developer.rchain.coop\/assets\/rholang-spec-0.2.pdf. Lucius Gregory Meredith, Jack Pettersson, Gary Stephenson, Michael Stay, Kent Shikama, and Joseph Denman. 2018. Contracts, Composition, and Scaling: The Rholang specification 0.2. Retrieved May 1, 2021 from https:\/\/developer.rchain.coop\/assets\/rholang-spec-0.2.pdf."},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_22"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46406-9"},{"key":"e_1_2_2_73_1","volume-title":"Bitcoin covenants","author":"M\u00f6ser Malte","unstructured":"Malte M\u00f6ser , Ittay Eyal , and Emin G\u00fcn Sirer . 2016. Bitcoin covenants . In Financial Cryptography and Data Security, Jeremy Clark, Sarah Meiklejohn, Peter Y. A. Ryan, Dan Wallach, Michael Brenner, and Kurt Rohloff (Eds.). Springer , Berlin , 126\u2013141. DOI:https:\/\/doi.org\/10.1007\/978-3-662-53357-4_9 Malte M\u00f6ser, Ittay Eyal, and Emin G\u00fcn Sirer. 2016. Bitcoin covenants. In Financial Cryptography and Data Security, Jeremy Clark, Sarah Meiklejohn, Peter Y. A. Ryan, Dan Wallach, Michael Brenner, and Kurt Rohloff (Eds.). Springer, Berlin, 126\u2013141. DOI:https:\/\/doi.org\/10.1007\/978-3-662-53357-4_9"},{"key":"e_1_2_2_74_1","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System. Technical Report.","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto . 2008 . Bitcoin: A Peer-to-Peer Electronic Cash System. Technical Report. Satoshi Nakamoto. 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. Technical Report."},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132259"},{"key":"e_1_2_2_76_1","series-title":"Lecture Notes in Business Information Processing","volume-title":"Creation of smart-contracting collaborations for decentralized autonomous organizations","author":"Norta Alex","unstructured":"Alex Norta . 2015. Creation of smart-contracting collaborations for decentralized autonomous organizations . In Lecture Notes in Business Information Processing . Springer International Publishing , 3\u201317. DOI:https:\/\/doi.org\/10.1007\/978-3-319-21915-8_1 Alex Norta. 2015. Creation of smart-contracting collaborations for decentralized autonomous organizations. In Lecture Notes in Business Information Processing. Springer International Publishing, 3\u201317. DOI:https:\/\/doi.org\/10.1007\/978-3-319-21915-8_1"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13174-015-0023-7"},{"key":"e_1_2_2_78_1","volume-title":"Retrieved","year":"2018","unstructured":"OCamlPro. 2018 . Welcome to Liquidity\u2019s documentation!\u2014Liquidity 1.05 . Retrieved October 30, 2020 from https:\/\/www.liquidity-lang.org\/doc\/. OCamlPro. 2018. Welcome to Liquidity\u2019s documentation!\u2014Liquidity 1.05. Retrieved October 30, 2020 from https:\/\/www.liquidity-lang.org\/doc\/."},{"key":"e_1_2_2_79_1","volume-title":"Proceedings of the 2019 ACM Southeast Conference (ACMSE\u201919)","author":"Pan Q.","unstructured":"Q. Pan and X. Koutsoukos . 2019. Building a blockchain simulation using the Idris programming language . In Proceedings of the 2019 ACM Southeast Conference (ACMSE\u201919) . Association for Computing Machinery, 190\u2013193. DOI:https:\/\/doi.org\/10.1145\/3299815.3314456 Q. Pan and X. Koutsoukos. 2019. Building a blockchain simulation using the Idris programming language. In Proceedings of the 2019 ACM Southeast Conference (ACMSE\u201919). Association for Computing Machinery, 190\u2013193. DOI:https:\/\/doi.org\/10.1145\/3299815.3314456"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/960322.960404"},{"key":"e_1_2_2_81_1","volume-title":"Retrieved","author":"Parr Terence","year":"1998","unstructured":"Terence Parr . 1998 . Introduction to ANTLR . Retrieved November 25, 2020 from https:\/\/www.antlr.org\/. Terence Parr. 1998. Introduction to ANTLR. Retrieved November 25, 2020 from https:\/\/www.antlr.org\/."},{"key":"e_1_2_2_82_1","unstructured":"Travis Patron. 2015. The Bitcoin Revolution: An Internet of Money. Travis Patron. Travis Patron. 2015. The Bitcoin Revolution: An Internet of Money. Travis Patron."},{"key":"e_1_2_2_83_1","unstructured":"Stuart Popejoy. 2016. The Pact Smart Contract Language. Retrieved from http:\/\/kadena. io\/docs\/Kadena-PactWhitepaper. pdf. Stuart Popejoy. 2016. The Pact Smart Contract Language. Retrieved from http:\/\/kadena. io\/docs\/Kadena-PactWhitepaper. pdf."},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524068"},{"key":"e_1_2_2_85_1","volume-title":"Retrieved","author":"Revere Raine","year":"2017","unstructured":"Raine Revere . 2017 . Functional-Solidity-Language . Retrieved October 30, 2020 from https:\/\/github.com\/raineorshine\/functional-solidity-language. Raine Revere. 2017. Functional-Solidity-Language. Retrieved October 30, 2020 from https:\/\/github.com\/raineorshine\/functional-solidity-language."},{"key":"e_1_2_2_86_1","volume-title":"Ivy: A Declarative Predicate Language for Smart Contracts Introduction: Two Blockchain Models. Retrieved","author":"Robinson Dan","year":"2017","unstructured":"Dan Robinson . 2017 . Ivy: A Declarative Predicate Language for Smart Contracts Introduction: Two Blockchain Models. Retrieved November 2, 2020 from https:\/\/docs.ivylang.org\/bitcoin\/. Dan Robinson. 2017. Ivy: A Declarative Predicate Language for Smart Contracts Introduction: Two Blockchain Models. Retrieved November 2, 2020 from https:\/\/docs.ivylang.org\/bitcoin\/."},{"key":"e_1_2_2_87_1","volume-title":"Van Der Aalst, and Nataliya Mulyar","author":"Russell Nick","year":"2006","unstructured":"Nick Russell , Arthur H. M. Ter Hofstede , Wil M. P. Van Der Aalst, and Nataliya Mulyar . 2006 . Workflow control-flow patterns: A revised view. BPM Center Report BPM- 06-22, 06\u201322. Nick Russell, Arthur H. M. Ter Hofstede, Wil M. P. Van Der Aalst, and Nataliya Mulyar. 2006. Workflow control-flow patterns: A revised view. BPM Center Report BPM-06-22, 06\u201322."},{"key":"e_1_2_2_88_1","volume-title":"David Edmond, and Wil M. P. van der Aalst.","author":"Russell Nick","year":"2005","unstructured":"Nick Russell , Arthur H. M. ter Hofstede , David Edmond, and Wil M. P. van der Aalst. 2005 . Workflow data patterns: Identification , representation and tool support. 353\u2013368. DOI:https:\/\/doi.org\/10.1007\/11568322_23 Nick Russell, Arthur H. M. ter Hofstede, David Edmond, and Wil M. P. van der Aalst. 2005. Workflow data patterns: Identification, representation and tool support. 353\u2013368. DOI:https:\/\/doi.org\/10.1007\/11568322_23"},{"key":"e_1_2_2_89_1","volume-title":"Wil Mp Van Der Aalst, and Arthur H. M. Ter Hofstede","author":"Russell Nick","year":"2016","unstructured":"Nick Russell , Wil Mp Van Der Aalst, and Arthur H. M. Ter Hofstede . 2016 . Workflow Patterns : The Definitive Guide. MIT Press . Nick Russell, Wil Mp Van Der Aalst, and Arthur H. M. Ter Hofstede. 2016. Workflow Patterns: The Definitive Guide. MIT Press."},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1080\/13600834.2017.1301036"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191697.3213790"},{"key":"e_1_2_2_92_1","volume-title":"Scripting smart contracts for distributed ledger technology.IACR Cryptology ePrint Archive 2016","author":"Seijas Pablo Lamela","year":"2016","unstructured":"Pablo Lamela Seijas , Simon J. Thompson , and Darryl McAdams . 2016. Scripting smart contracts for distributed ledger technology.IACR Cryptology ePrint Archive 2016 ( 2016 ), 1156. Pablo Lamela Seijas, Simon J. Thompson, and Darryl McAdams. 2016. Scripting smart contracts for distributed ledger technology.IACR Cryptology ePrint Archive 2016 (2016), 1156."},{"key":"e_1_2_2_93_1","volume-title":"Scilla: A Smart Contract Intermediate-Level LAnguage. arXiv:1801.00687 [cs.PL]","author":"Sergey Ilya","year":"2018","unstructured":"Ilya Sergey , Amrit Kumar , and Aquinas Hobor . 2018 . Scilla: A Smart Contract Intermediate-Level LAnguage. arXiv:1801.00687 [cs.PL] Ilya Sergey, Amrit Kumar, and Aquinas Hobor. 2018. Scilla: A Smart Contract Intermediate-Level LAnguage. arXiv:1801.00687 [cs.PL]"},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2019.06.001"},{"key":"e_1_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.07.011"},{"key":"e_1_2_2_97_1","doi-asserted-by":"publisher","DOI":"10.5210\/fm.v2i9.548"},{"key":"e_1_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24308-1_27"},{"key":"e_1_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2900643"},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dcan.2019.01.005"},{"key":"e_1_2_2_101_1","volume-title":"Retrieved","year":"2018","unstructured":"Tezos. 2018 . Michelson: The language of smart contracts in I - Semantics . Retrieved October 30, 2020 from https:\/\/tezos.com\/. Tezos. 2018. Michelson: The language of smart contracts in I - Semantics. Retrieved October 30, 2020 from https:\/\/tezos.com\/."},{"key":"e_1_2_2_102_1","volume-title":"Elisabet Lobo Vesga, and Alejandro Russo","author":"Valliappan Nachiappan","year":"2018","unstructured":"Nachiappan Valliappan , Sol\u00e8ne Mirliaz , Elisabet Lobo Vesga, and Alejandro Russo . 2018 . Towards adding variety to simplicity. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham, 414\u2013431. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03427-6_31 Nachiappan Valliappan, Sol\u00e8ne Mirliaz, Elisabet Lobo Vesga, and Alejandro Russo. 2018. Towards adding variety to simplicity. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 414\u2013431. DOI:https:\/\/doi.org\/10.1007\/978-3-030-03427-6_31"},{"key":"e_1_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500488"},{"key":"e_1_2_2_104_1","doi-asserted-by":"crossref","unstructured":"Ingo Weber Xiwei Xu R\u00e9gis Riveret Guido Governatori Alexander Ponomarev and Jan Mendling. 2016. Untrusted business process monitoring and execution using blockchain. In Business Process Management Marcello La Rosa Peter Loos and Oscar Pastor (Eds.). Springer International Cham 329\u2013347. DOI:https:\/\/doi.org\/10.1007\/978-3-319-45348-4_19 Ingo Weber Xiwei Xu R\u00e9gis Riveret Guido Governatori Alexander Ponomarev and Jan Mendling. 2016. Untrusted business process monitoring and execution using blockchain. In Business Process Management Marcello La Rosa Peter Loos and Oscar Pastor (Eds.). Springer International Cham 329\u2013347. DOI:https:\/\/doi.org\/10.1007\/978-3-319-45348-4_19","DOI":"10.1007\/978-3-319-45348-4_19"},{"key":"e_1_2_2_105_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVCBT.2018.00012"},{"key":"e_1_2_2_106_1","volume-title":"Retrieved","author":"Wilcke Jeffrey","year":"2015","unstructured":"Jeffrey Wilcke . 2015 . Mutan Language . Retrieved October 30, 2020 from https:\/\/github.com\/obscuren\/mutan. Jeffrey Wilcke. 2015. Mutan Language. Retrieved October 30, 2020 from https:\/\/github.com\/obscuren\/mutan."},{"key":"e_1_2_2_107_1","volume-title":"Sophia Introduction. Retrieved","author":"Workgroups Aeternity","year":"2020","unstructured":"Aeternity Workgroups . 2017. Sophia Introduction. Retrieved November 2, 2020 from https:\/\/github.com\/aeternity\/aesophia\/blob\/lima\/docs\/sophia.md. Aeternity Workgroups. 2017. Sophia Introduction. Retrieved November 2, 2020 from https:\/\/github.com\/aeternity\/aesophia\/blob\/lima\/docs\/sophia.md."},{"key":"e_1_2_2_108_1","volume-title":"Retrieved","year":"2019","unstructured":"Xtext.org. 2019 . Introduction to Xtext . Retrieved November 25, 2020 from https:\/\/www.eclipse.org\/Xtext\/. Xtext.org. 2019. Introduction to Xtext. Retrieved November 25, 2020 from https:\/\/www.eclipse.org\/Xtext\/."},{"key":"e_1_2_2_109_1","volume-title":"Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. arxiv:cs.PL\/1803.09885.","author":"Yang Zheng","year":"2018","unstructured":"Zheng Yang and Hang Lei . 2018 . Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. arxiv:cs.PL\/1803.09885. Retrieved from https:\/\/arxiv.org\/abs\/1803.09885. Zheng Yang and Hang Lei. 2018. Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. arxiv:cs.PL\/1803.09885. Retrieved from https:\/\/arxiv.org\/abs\/1803.09885."},{"key":"e_1_2_2_110_1","volume-title":"Morphing Smart Contracts with Bamboo. Retrieved","author":"Yoichi Hirai","year":"2020","unstructured":"Hirai Yoichi . 2017. Morphing Smart Contracts with Bamboo. Retrieved Nov 5, 2020 from https:\/\/github.com\/jchavarri\/bamboo. Hirai Yoichi. 2017. Morphing Smart Contracts with Bamboo. Retrieved Nov 5, 2020 from https:\/\/github.com\/jchavarri\/bamboo."},{"key":"e_1_2_2_111_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-016-0574-6"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453475","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453475"}},"subtitle":["A Systematic Literature Review"],"short-title":[],"issued":{"date-parts":[[2021,6,5]]},"references-count":105,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,6,30]]}},"alternative-id":["10.1145\/3453475"],"URL":"https:\/\/doi.org\/10.1145\/3453475","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,5]]},"assertion":[{"value":"2020-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}