1 paper
Alexander Chepurnoy, Vasily Kharin, Dmitry Meshkov
Turing-completeness of smart contract languages in blockchain systems is often associated with a variety of language features (such as loops). In opposite, we show that Turing-comp…