1源程序怎样变成可执行行为
闭卷重建源程序怎样变成可执行行为的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2阶段接口与错误定位
闭卷重建阶段接口与错误定位的输入制品、规则、输出不变量与失败反例。
3解释器、编译器与JIT
闭卷重建解释器、编译器与JIT的输入制品、规则、输出不变量与失败反例。
4前端、中端与后端边界
闭卷重建前端、中端与后端边界的输入制品、规则、输出不变量与失败反例。
5自举、交叉编译与可信链
闭卷重建自举、交叉编译与可信链的输入制品、规则、输出不变量与失败反例。
6实验：逐阶段制品检查器
闭卷重建实验：逐阶段制品检查器的输入制品、规则、输出不变量与失败反例。
7实验：最小表达式编译器
闭卷重建实验：最小表达式编译器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：阶段接口与错误定位必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为阶段接口与错误定位准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；阶段接口与错误定位遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：源程序怎样变成可执行行为必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为源程序怎样变成可执行行为准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；源程序怎样变成可执行行为遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：前端、中端与后端边界必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为前端、中端与后端边界准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；前端、中端与后端边界遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：解释器、编译器与JIT必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为解释器、编译器与JIT准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；解释器、编译器与JIT遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：逐阶段制品检查器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：逐阶段制品检查器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：逐阶段制品检查器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：自举、交叉编译与可信链必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为自举、交叉编译与可信链准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；自举、交叉编译与可信链遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：最小表达式编译器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：最小表达式编译器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：最小表达式编译器遇到二义、未定义行为或目标机限制时必须显式诊断。