{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T12:44:41Z","timestamp":1774529081102,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030238124","type":"print"},{"value":"9783030238131","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-23813-1_3","type":"book-chapter","created":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T22:03:58Z","timestamp":1561413838000},"page":"19-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Do Smart Contract Languages Need to Be Turing Complete?"],"prefix":"10.1007","author":[{"given":"Marc","family":"Jansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farouk","family":"Hdhili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramy","family":"Gouiaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziyaad","family":"Qasem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Tama, B.A., Kweka, B.J., Park, Y., Rhee, K.H.: A critical review of blockchain and its current applications. In: Proceedings of the International Conference on Electrical Engineering and Computer Science (ICECOS), pp. 109\u2013113. IEEE (2017)","DOI":"10.1109\/ICECOS.2017.8167115"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Wright, C., Serguieva, A.: Sustainable blockchain-enabled services: smart contracts. In: Proceedings of the International Conference on Big Data, pp. 4255\u20134264. IEEE (2017)","DOI":"10.1109\/BigData.2017.8258452"},{"key":"3_CR3","unstructured":"Alharby, M., Van Moorsel, A.: Blockchain-based smart contracts: a systematic mapping study (2017). arXiv preprint \n                  arXiv:1710.06372"},{"key":"3_CR4","unstructured":"Nakamoto, S.: Bitcoin: a Peer-to-peer Electronic Cash System (2008). \n                  https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"3_CR5","first-page":"164","volume-title":"Lecture Notes in Computer Science","author":"Nicola Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK). In: Principles of Security and Trust, pp. 164\u2013186. Springer, Heidelberg (2017)"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Mehar, M.I., Shier, C.L., Giambattista, A., Gong, E., Fletcher, G., et al.: Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack. SSRN Electron. J. (2017). \n                  https:\/\/doi.org\/10.2139\/ssrn.3014782","DOI":"10.2139\/ssrn.3014782"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58(2), 345\u2013363 (1936)","journal-title":"Am. J. Math."},{"key":"3_CR8","unstructured":"Wright, C.: Turing Complete Bitcoin Script White Paper (2016). \n                  https:\/\/ssrn.com\/abstract=3160279"},{"key":"3_CR9","unstructured":"Wright, C.: Beyond Godel (2018). \n                  https:\/\/ssrn.com\/abstract=3147440"},{"key":"3_CR10","unstructured":"Sgantzos, K.: Implementing a church-turing-deutsch principle machine on a Blockchain. Department of Computer Science and Biomedical Informatics, University of Thessaly, Lamia, Greece (2017)"},{"key":"3_CR11","unstructured":"Herlihy, M.: Atomic cross-chain swaps (2018). arXiv preprint \n                  arXiv:1801.09515"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the Workshop on Programming Languages and Analysis for Security, pp. 91\u201396. ACM, October 2016","DOI":"10.1145\/2993600.2993611"},{"key":"3_CR13","unstructured":"Castrillo-Fern\u00e1ndez, O.: Web Scraping: Applications and Tools (2005). \n                  https:\/\/www.europeandataportal.eu\/sites\/default\/files\/2015_web_scraping_applications_and_tools.pdf"},{"key":"3_CR14","volume-title":"Regular Expressions Cookbook","author":"J Goyvaerts","year":"2012","unstructured":"Goyvaerts, J., Levithan, S.: Regular Expressions Cookbook. O\u2019reilly, Sebastopol (2012)"}],"container-title":["Advances in Intelligent Systems and Computing","Blockchain and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23813-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T22:38:46Z","timestamp":1561415926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23813-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"ISBN":["9783030238124","9783030238131"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23813-1_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"25 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BLOCKCHAIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Congress on Blockchain and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"\u00c1vila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"blockchain2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.blockchain-congress.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}