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.
2020
Inglese
FRONTIERS IN BLOCKCHAIN
3
27
5
WOS:000678834300001
Esperti anonimi
internazionale
scientifica
Blockchain; Smart contracts; Design by contract; Formal models; Verification
no
Bartoletti, M
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
1
open
File in questo prodotto:
File Dimensione Formato  
fbloc-03-00027.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: versione editoriale
Dimensione 159.56 kB
Formato Adobe PDF
Visualizza/Apri
159.56 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie