ch4 操作语义

形式语义 操作语义
Formal Semantics
专栏索引 专栏目录 / Formal Semantics / 章节页
Publish Date:   2026-01-23
Word Count:   76

ch4 操作语义

最核心的部分啦！其实就是抽象出一种机器，它执行命令的过程为一种语义，再去证明程序的正确性。分为大部语义、小步语义与它们的扩展。

👉 点击这里阅读下一篇：《ch5 归纳原理》

Author: linda1729
Link: https://linda1729-blog.netlify.app/posts/2026-01-23-formal-semantics-ch4-operational-semantics/
Reprint policy: All articles in this blog are used except for special statements CC BY 4.0 reprint policy. If reproduced, please indicate source linda1729 !
形式语义 操作语义
赏
评论
  TOC