Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

Figure 8

Simplified formal version of Figure 5 using syntactic abbreviations.