1位置、值与存储
闭卷推导位置、值与存储的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2栈、堆和对象图
闭卷推导栈、堆和对象图的结构、状态与反例。
3引用计数
闭卷推导引用计数的结构、状态与反例。
4标记清除
闭卷推导标记清除的结构、状态与反例。
5复制与分代回收
闭卷推导复制与分代回收的结构、状态与反例。
6弱引用和终结器
闭卷推导弱引用和终结器的结构、状态与反例。
7GC正确性与停顿
闭卷推导GC正确性与停顿的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。