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á bibliografie

Vydáno v:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 262 - 274
Hlavní autoři:	Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.09.2020
Témata:	Blockchain Domain specific languages DSL loop summarization program synthesis Semantics Smart contracts Software engineering Syntactics
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!