University of Cagliari
Smart Contracts Contracts
Bartoletti, M
2020-01-01
Abstract
This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are programs executed on blockchains. What is the relation between them? We answer this question by discussing how to integrate software contracts in the design of programming languages for smart contracts.
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| fbloc-03-00027.pdf open access
Description: Articolo principale
Type: versione editoriale
Size 159.56 kB
Format Adobe PDF
|
159.56 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.