Formal Semantics

精確定義 Smart Contract — — Solidity 的語意正規化

寫這篇文章的動機來自這篇論文，Solidity 作為一個程式語言，寫出來的 Smart Contract 就跟所有程式一樣，有時候會有 Bug。然而 Smart Contract…