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