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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
