C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.
Ximeng Li
Zhiping Shi
Qianying Zhang
Guohui Wang
Yong Guan
Ning Han
Published in:
ICFEM (2019)
Keyphrases
</>
levels of abstraction
real time
natural language
supply chain
programming language
data mining
genetic algorithm
hidden markov models
natural language processing
higher level
language processing
pattern languages
computational linguistics
specification language
intermediate level