SmartInspect: Solidity Smart Contract Inspector

Document type :
Communication dans un congrès avec actes
DOI :
10.1109/IWBOSE.2018.8327566
Title :
SmartInspect: Solidity Smart Contract Inspector
Author(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]
Conference title :
IWBOSE 2018 - 1st International Workshop on Blockchain Oriented Software Engineering
City :
Campobasso
Country :
Italie
Start date of the conference :
2018-03-20
Publisher :
IEEE
Publication date :
2018-03-29
English keyword(s) :
Ethereum
Solidity
Smart Contracts
Inspecting
Blockchain
HAL domain(s) :
Informatique [cs]/Langage de programmation [cs.PL]
English abstract : [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, ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail