1 paper
Lantian Li, Yue Pan, Dan Wang +2
The correctness of the Solidity compiler is crucial for ensuring the security of smart contracts. However, the implementation complexity of its type system often introduces elusive…