Mathematical Problems in Engineering

Research Article

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

Macro definitions of Lolisa formal abstract syntax tree.