1从语法到求值关系
闭卷推导从语法到求值关系的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2大步语义与推导树
闭卷推导大步语义与推导树的结构、状态与反例。
3小步语义与机器状态
闭卷推导小步语义与机器状态的结构、状态与反例。
4按值调用
闭卷推导按值调用的结构、状态与反例。
5按名调用
闭卷推导按名调用的结构、状态与反例。
6按需调用与共享
闭卷推导按需调用与共享的结构、状态与反例。
7求值顺序和副作用
闭卷推导求值顺序和副作用的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。