SemanticFrameworkforSmartContracts A Formal Semantic Framework for Smart Contracts The implementation details of the semantics rules are presented in Details.pdf.