在程序编译过程中，执行类型分析和检查是在( )阶段。