<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Smart Contracts Contracts

Name: Smart Contracts Contracts
Creator: Bartoletti, M
Keywords: blockchain, Blockchain; Smart contracts; Design by contract; Formal models; Verification, formal models, design by contract, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, smart contracts, verification, T58.5-58.64

descriptionPublicationkeyboard_double_arrow_right Article , Other literature type 04 Jun 2020 Italy Publisher:Frontiers Media SAJournal:Frontiers in Blockchain, volume 3 (eissn: 2624-7852,

Authors: Bartoletti, M;

doi: 10.3389/fbloc.2020.00027

handle: 11584/317446

Smart Contracts Contracts

- Summary
- Subjects
- Metrics

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.

Country

Italy

Related Organizations

National Institute for Nuclear Physics
Italy
University College London
United Kingdom
UNIVERSITY COLLEGE LONDON
United Kingdom
University College of London
United Kingdom
University College London
United Kingdom

View all View all

Keywords

blockchain, Blockchain; Smart contracts; Design by contract; Formal models; Verification, formal models, design by contract, Information technology, smart contracts, verification, T58.5-58.64

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	8
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%