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.
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fbloc-03-00027.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
versione editoriale (VoR)
Dimensione
159.56 kB
Formato
Adobe PDF
|
159.56 kB | Adobe PDF | Visualizza/Apri |
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
