SmartInspect: Solidity Smart Contract Inspector

Type de document :
Communication dans un congrès avec actes
DOI :
10.1109/IWBOSE.2018.8327566
Titre :
SmartInspect: Solidity Smart Contract Inspector
Auteur(s) :
Bragagnolo, Santiago [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Rocha, Henrique [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Denker, Marcus [Auteur] refId
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Ducasse, Stephane [Auteur] refId
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Titre de la manifestation scientifique :
IWBOSE 2018 - 1st International Workshop on Blockchain Oriented Software Engineering
Ville :
Campobasso
Pays :
Italie
Date de début de la manifestation scientifique :
2018-03-20
Éditeur :
IEEE
Date de publication :
2018-03-29
Mot(s)-clé(s) en anglais :
Ethereum
Solidity
Smart Contracts
Inspecting
Blockchain
Discipline(s) HAL :
Informatique [cs]/Langage de programmation [cs.PL]
Résumé en anglais : [en]
Solidity is a language used for smart contracts on the Ethereum blockchain. Smart contracts are embedded procedures stored with the data they act upon. Debugging smart contracts is a really difficult task since once deployed, ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail