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
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
View/Open
159.56 kB Adobe PDF View/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie