11 2021 档案

形式语义05 Semantics
摘要：Formal Semantic 一般分三种 Operational Semantic，操作语义 Denotational Semantic，指称语义 Axiomatic Semantic，公理语义 主要记一下操作语义 Operational Semantic 对命令式语言而言，一个程序的运行状态可以 阅读全文
posted @ 2021-11-07 17:14 jjppp 阅读(830) 评论(0) 推荐(0)