1对象布局与闭包环境
闭卷重建对象布局与闭包环境的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2调用栈、异常与展开
闭卷重建调用栈、异常与展开的输入制品、规则、输出不变量与失败反例。
3GC根、标记与安全点
闭卷重建GC根、标记与安全点的输入制品、规则、输出不变量与失败反例。
4链接、重定位与装载接口
闭卷重建链接、重定位与装载接口的输入制品、规则、输出不变量与失败反例。
5端到端测试与差分验证
闭卷重建端到端测试与差分验证的输入制品、规则、输出不变量与失败反例。
6实验：标记可达对象
闭卷重建实验：标记可达对象的输入制品、规则、输出不变量与失败反例。
7答辩：完整小语言编译器
闭卷重建答辩：完整小语言编译器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：调用栈、异常与展开必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为调用栈、异常与展开准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；调用栈、异常与展开遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：对象布局与闭包环境必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为对象布局与闭包环境准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；对象布局与闭包环境遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：链接、重定位与装载接口必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为链接、重定位与装载接口准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；链接、重定位与装载接口遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：GC根、标记与安全点必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为GC根、标记与安全点准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；GC根、标记与安全点遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：标记可达对象必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：标记可达对象准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：标记可达对象遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：端到端测试与差分验证必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为端到端测试与差分验证准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；端到端测试与差分验证遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：答辩：完整小语言编译器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为答辩：完整小语言编译器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；答辩：完整小语言编译器遇到二义、未定义行为或目标机限制时必须显式诊断。