Executable Operational Semantics of Solidity.

Jiao Jiao Shuanglong Kan Shang-Wei Lin David Sanán Yang Liu Jun Sun

Published in: CoRR (2018)

Keyphrases

operational semantics
formal semantics
data model
mental states
model theoretic
denotational semantics
formal specification
activity diagrams
agent programming
machine learning
artificial intelligence
declarative semantics