Blar i Institutt for datateknologi og informatikk på emneord "Contracts, Grammar, Online banking, Virtual machining, Peer-to-peer computing, Syntactics, DSL"
Viser treff 1-1 av 1
-
From Institutions to Code: Towards Automated Generation of Smart Contracts
(Chapter, 2016)Blockchain technology has emerged as a solution to consistency problems in peer to peer networks. By now, it has matured as a solution to a range of use cases in which it can effectively provide the notion of third party ...