1 paper
Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova +2
Solidity is the predominant programming language for blockchain-based smart contracts, and its characteristics pose significant challenges for code analysis and maintenance. Tradit…