Sign in
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.
Jiao Jiao
Shuanglong Kan
Shang-Wei Lin
David Sanán
Yang Liu
Jun Sun
Published in:
IEEE Symposium on Security and Privacy (2020)
Keyphrases
</>
operational semantics
formal semantics
data model
model theoretic
agent programming
mental states
denotational semantics
high level
declarative semantics
database
natural language
expert systems
life cycle
activity diagrams