PCF 的语义
:material-circle-edit-outline: 约 213 个字 :material-clock-time-two-outline: 预计阅读时间 1 分钟
11 PCF的语义.pdf 编程语言原理（本）2024-11-27第7-8节
程序的语义
闭项（closed term）是指不包含 ⾃ 由变量的表达式或项。也就是说，闭项是 ⼀ 个在语法上完全 ⾃⾜ 的表达式，它不依赖于外部的变量或环境
闭项是可以得到期望的值的
对于 PCF，⼀ 个结果就是可观察类型的 ⼀ 个闭范式，即数字、布尔值常量
如果是 nat 或 bool ，则是可观察类型
公理语义Axiomatic Semantics
指称语义
表达式的数学值称为它的指称
如果⼀个项有⾃由变量（开项），它的指称将通常依赖于这些⾃由变量的取值
值集
操作语义
操作语义的最为常⻅的实际表示是解释程序和编译程序
看PPT吧。。。