K-Go: An executable formal semantics of Go language in K framework.

Can Zhao Qin Liu Zonghua Hu Ze Yu Dejun Wang Bo Meng

Published in: IET Blockchain (2023)

Keyphrases

formal semantics
logical language
modelling language
operational semantics
formal language
database
modeling language
xml documents
probabilistic model
logical framework
logical reasoning