Automated execution of financial contracts on blockchains
The paper investigates financial contract management on distributed ledgers and provides a
working solution implemented on the Ethereum blockchain. The system is based on a …
working solution implemented on the Ethereum blockchain. The system is based on a …
Towards safer smart contracts: A survey of languages and verification methods
D Harz, W Knottenbelt - ar** for XML, parametric
polymorphism has rarely been treated. This well-established ty** discipline can also be …
polymorphism has rarely been treated. This well-established ty** discipline can also be …