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

Figure 10

Formal operational semantics of Lolisa left and right expressions, including the array, mapping, constant, struct, and binary and unary operators.