{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T05:59:02Z","timestamp":1783749542450,"version":"3.55.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100011011","name":"Junta de Andaluc\u00eda","doi-asserted-by":"crossref","award":["COPERNICA and METAMORFOSIS projects"],"award-info":[{"award-number":["COPERNICA and METAMORFOSIS projects"]}],"id":[{"id":"10.13039\/501100011011","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ECLIPSE","award":["RTI2018-094283-B-C33"],"award-info":[{"award-number":["RTI2018-094283-B-C33"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2022,1,31]]},"abstract":"<jats:p>Blockchain is a disruptive technology that has attracted the attention of the scientific community and companies, as proven by the exponential growth of publications on this topic in recent years. This growing interest is mainly due to the promise that the use of blockchain enables it to be verified, without including any trusted intermediaries, that the information received from the network is authentic and up-to-date. In this respect, blockchain is a distributed database that can be seen as a ledger that records all transactions that have ever been executed. In this context, smart contracts are pieces of software used to facilitate, verify, and enforce the negotiation of a transaction on a blockchain platform. These pieces of software are implemented by using programming languages, which are sometimes provided by the blockchain platforms themselves. This study aims to (1) identify and categorise the state-of-the-art related to smart contract languages, in terms of the existing languages and their main features, and (2) identify new research opportunities. The review has been conducted as a multivocal mapping study that follows the guidelines proposed by Garousi et\u00a0al. for conducting multivocal literature reviews, as well as the guidelines proposed by Kitchenham and Charters for conducting mapping studies. As a result of the implementation of the review protocol, 4,119 papers were gathered, and 109 of them were selected for extraction. The contributions of this article are twofold: (1) 101 different smart contract languages have been identified and classified according to a variety of criteria; (2) a discussion on the findings and their implications for future research have been outlined. As a conclusion, it could be stated that a rigorous and replicable overview of the state-of-the-art of smart contract languages has been provided that can benefit not only researchers but also practitioners in the field, thanks to its multivocal nature.<\/jats:p>","DOI":"10.1145\/3423166","type":"journal-article","created":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T17:08:21Z","timestamp":1609607301000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Smart Contract Languages"],"prefix":"10.1145","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9953-6005","authenticated-orcid":false,"given":"\u00c1ngel Jes\u00fas","family":"Varela-Vaca","sequence":"first","affiliation":[{"name":"Universidad de Sevilla"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3698-6302","authenticated-orcid":false,"given":"Antonia M. Reina","family":"Quintero","sequence":"additional","affiliation":[{"name":"Universidad de Sevilla"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,2]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328833.3328857"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1111\/ijmr.12102"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"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","journal-title":"Int. J. Comput. Sci. Info. Technol."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_2_2_7_1","doi-asserted-by":"crossref","unstructured":"Massimo Bartoletti and Livio Pompianu. 2017. An empirical analysis of smart contracts: Platforms applications and design patterns. Retrieved from https:\/\/arxiv:cs.CR\/1703.06322.  Massimo Bartoletti and Livio Pompianu. 2017. An empirical analysis of smart contracts: Platforms applications and design patterns. Retrieved from https:\/\/arxiv:cs.CR\/1703.06322.","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94580-4_9"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.11.006"},{"key":"e_1_2_2_10_1","unstructured":"Michael\u00a0A. Covington. 2010. First lecture on symbolic programming and Lisp. Retrieved from http:\/\/www.covingtoninnovations.com\/mc\/LispNotes\/FirstLectureOnSymbolicProgramming.pdf.  Michael\u00a0A. Covington. 2010. First lecture on symbolic programming and Lisp. Retrieved from http:\/\/www.covingtoninnovations.com\/mc\/LispNotes\/FirstLectureOnSymbolicProgramming.pdf."},{"key":"e_1_2_2_11_1","volume-title":"Advances in Computing and Data Sciences","author":"Dwivedi Vimal"},{"key":"e_1_2_2_12_1","volume-title":"Proceedings of the ICEIS (LNBIP)","volume":"141","author":"Fabbri Sandra","year":"2012"},{"key":"e_1_2_2_13_1","first-page":"1","article-title":"The need for multivocal literature reviews in software engineering: Complementing systematic literature reviews with grey literature","volume":"26","author":"Garousi Vahid","year":"2016","journal-title":"Proceedings of the EASE. ACM"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.09.006"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.015"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9223-3"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02131-3_29"},{"key":"e_1_2_2_19_1","unstructured":"Felix H\u00e4rer and Hans-Georg Fill. 2019. A comparison of approaches for visualizing blockchains and smart contracts in: Jusletter IT 21. DOI:https:\/\/doi.org\/10.5281\/zenodo.2585575  Felix H\u00e4rer and Hans-Georg Fill. 2019. A comparison of approaches for visualizing blockchains and smart contracts in: Jusletter IT 21. DOI:https:\/\/doi.org\/10.5281\/zenodo.2585575"},{"key":"e_1_2_2_20_1","unstructured":"Dominik Harz and William\u00a0J. Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. Retrieved from http:\/\/arxiv.org\/abs\/1809.09805.  Dominik Harz and William\u00a0J. Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. Retrieved from http:\/\/arxiv.org\/abs\/1809.09805."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2018.03.005"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO.2017.8342399"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20948-3_16"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.12.018"},{"key":"e_1_2_2_26_1","volume-title":"Evidence-based Software Engineering and Systematic Reviews (1 ed.)","author":"Kitchenham Barbara\u00a0Ann"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9492-y"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.10.004"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_22"},{"key":"e_1_2_2_30_1","doi-asserted-by":"crossref","volume-title":"Empirical Evaluation of Blockchain Smart Contracts","author":"Mokdad Imane","DOI":"10.1007\/978-3-030-38677-1_3"},{"key":"e_1_2_2_31_1","volume-title":"Proceedings of the ICAC. 130--134","author":"Naaz Rohaila","year":"2019"},{"key":"e_1_2_2_32_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system.","author":"Nakamoto Satoshi","year":"2009"},{"key":"e_1_2_2_33_1","unstructured":"Jason Priem Dario Taraborelli Paul Groth and Cameron Neylon. [n.d.]. Altmetrics: A manifesto . http:\/\/altmetrics.org\/manifesto\/.  Jason Priem Dario Taraborelli Paul Groth and Cameron Neylon. [n.d.]. Altmetrics: A manifesto . http:\/\/altmetrics.org\/manifesto\/."},{"key":"e_1_2_2_34_1","volume-title":"Upgrading blockchains smart contract use cases in industry. Deloitte Insights (June","author":"Ream John","year":"2016"},{"key":"e_1_2_2_35_1","volume-title":"Techniques, and Models of Computer Programming","author":"Roy Peter\u00a0Van"},{"key":"e_1_2_2_36_1","first-page":"1156","article-title":"Scripting smart contracts for distributed ledger technology","volume":"2016","author":"Seijas Pablo\u00a0Lamela","year":"2016","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"e_1_2_2_37_1","volume-title":"Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. Comput. Secur. 88","author":"Singh Amritraj","year":"2020"},{"key":"e_1_2_2_38_1","volume-title":"Smart contracts: Formalizing and securing relationships on public networks. First Monday 2, 9","author":"Szabo Nick","year":"1997"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24308-1_27"},{"key":"e_1_2_2_40_1","first-page":"2","article-title":"A systematic literature review of blockchain cyber security","volume":"6","author":"Taylor J.","year":"2020","journal-title":"Dig. Commun. Netw."},{"key":"e_1_2_2_41_1","volume-title":"Business Transformation Through Blockchain","author":"Treiblmaier Horst"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1080\/07421222.1996.11518099"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500488"},{"key":"e_1_2_2_44_1","doi-asserted-by":"crossref","volume-title":"Design Science Methodology for Information Systems and Software Engineering","author":"Wieringa J.","DOI":"10.1007\/978-3-662-43839-8"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601268"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40854-019-0147-z"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"e_1_2_2_49_1","volume-title":"Xuan-Bach Dinh Le, Xin Xia, Yang Feng, Zhenyu Chen, and Baowen Xu.","author":"Zou Weiqin","year":"2019"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3423166","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3423166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:56Z","timestamp":1750195496000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3423166"}},"subtitle":["A Multivocal Mapping Study"],"short-title":[],"issued":{"date-parts":[[2021,1,2]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,1,31]]}},"alternative-id":["10.1145\/3423166"],"URL":"https:\/\/doi.org\/10.1145\/3423166","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,2]]},"assertion":[{"value":"2019-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}