Marc Jansen, Farouk Hdhili, Ramy Gouiaa, Ziyaad Qasem. Do Smart Contract Languages Need to Be Turing Complete?. In Javier Prieto, Ashok Kumar Das, Stefano Ferretti, António Pinto, Juan Manuel Corchado, editors, Blockchain and Applications - International Congress, BLOCKCHAIN 2019, Avila, Spain, 26-28 June, 2019. Volume 1010 of Advances in Intelligent Systems and Computing, pages 19-26, Springer, 2019. [doi]
Abstract is missing.