• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Can ZhaoQin LiuZonghua HuZe YuDejun WangBo 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