参考答案：B

解析：

本题考查程序语言的基本概念。

程序中的错误可以分为语法错误和语义错误，语义错误又可分成静态语义错误和动态语义错误，动态语义错误(逻辑错误)只有在程序运行时才能发现。程序中的语法错误和静态语义错误在编译阶段可检查出来。因此，一个程序可运行，说明该程序在编译和链接环节没有出错，不能说明该程序运行时不发生错误，也不能说明该程序的运行结果一定正确。