Is Solidity Solid Enough?
Silvia Crafà, Matteo Di Pirro, Elena Zucca
Topics & Concepts
SolidityComputer scienceCompilerType safetyCode (set theory)Function (biology)Programming languageType (biology)AlgorithmSet (abstract data type)EcologyBiologyEvolutionary biologyBlockchain Technology Applications and SecuritySecurity and Verification in ComputingDistributed systems and fault tolerance