Research Article
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq
| Symbol | Definition | Symbol | Definition |
| | Searches the indexed address of a mapping type | | Obtains the value in a mapping type term | | Evaluates binary operation expressions | | Evaluates unary operation expressions | | Searches the required struct member | | Validates the current environment | | Changes the current environment | | Validates the inheritance information | | Initializes the variable address | | Initializes the function return address |
|
|