以下叙述中，正确的是( )。

本题考查编译原理和程序语言基础知识的相关概念。

选项A描述的是编译正确的程序不包含语义错误，这是不准确的。因为即使编译正确，程序仍然可能存在动态语义错误，比如运行时发生的除数为零的错误。所以选项A错误。

选项B描述的是编译正确的程序不包含语法错误，这是正确的。在编译阶段，主要的工作是检查源代码的语法结构，确保代码符合编程语言的语法规则。如果编译正确，说明源代码在语法上没有错误。

选项C和D描述的是关于除数为零的情况可以在哪个阶段检查出来。实际上，除数为零是一种语义错误，发生在程序运行时，无法在编译阶段的语义分析或语法分析阶段检查出来。因此，选项C和D都是错误的。

综上所述，正确的答案是B。