Demystifying Loops in Smart Contracts

This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops used in over 20,000 Solidity contracts deployed on the Ethereum blockchain, with the goal of informing future research on program analysis for s...

Celý popis

Podrobná bibliografia

Vydané v:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 262 - 274
Hlavní autori:	Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.09.2020
Predmet:	Blockchain Domain specific languages DSL loop summarization program synthesis Semantics Smart contracts Software engineering Syntactics
ISSN:	2643-1572
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!