第3章笔记：操作语义与求值策略

联系

• 从语法到求值关系：写出结构、语义状态、反例和测试。
• 大步语义与推导树：写出结构、语义状态、反例和测试。
• 小步语义与机器状态：写出结构、语义状态、反例和测试。
• 按值调用：写出结构、语义状态、反例和测试。
• 按名调用：写出结构、语义状态、反例和测试。
• 按需调用与共享：写出结构、语义状态、反例和测试。
• 求值顺序和副作用：写出结构、语义状态、反例和测试。

练习

以从语法到求值关系为输入，一直推进到求值顺序和副作用，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第3章笔记：操作语义与求值策略

联系

• 从语法到求值关系：写出结构、语义状态、反例和测试。
• 大步语义与推导树：写出结构、语义状态、反例和测试。
• 小步语义与机器状态：写出结构、语义状态、反例和测试。
• 按值调用：写出结构、语义状态、反例和测试。
• 按名调用：写出结构、语义状态、反例和测试。
• 按需调用与共享：写出结构、语义状态、反例和测试。
• 求值顺序和副作用：写出结构、语义状态、反例和测试。

练习

以从语法到求值关系为输入，一直推进到求值顺序和副作用，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第3章笔记：操作语义与求值策略

联系

• 从语法到求值关系：写出结构、语义状态、反例和测试。
• 大步语义与推导树：写出结构、语义状态、反例和测试。
• 小步语义与机器状态：写出结构、语义状态、反例和测试。
• 按值调用：写出结构、语义状态、反例和测试。
• 按名调用：写出结构、语义状态、反例和测试。
• 按需调用与共享：写出结构、语义状态、反例和测试。
• 求值顺序和副作用：写出结构、语义状态、反例和测试。

练习

以从语法到求值关系为输入，一直推进到求值顺序和副作用，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。