以下叙述中，正确的是 ( ) 。
A. 编译正确的程序不包含语义错误
B. 编译正确的程序不包含语法错误
C. 除数为 0 的情况可以在语义分析阶段检查出来
D. 除数为 0 的情况可以在语法分析阶段检查出来
B