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

Table 2

State functions.

Symbol	Definition	Symbol	Definition
M	Memory space	ε	Environment information
Λ	Memory address set	Λfun	Function return address
Σ	Struct information	Θ	Struct pointer set
Γ	Context structure information	Ω	Native value set
Φ	Function information		Overall formal system