参考答案：B

解析：考查编译过程基本知识，高级语言源程序中的错误分为语义和语法错误，其中语义错误又可分为静态和动态语义错误；语法错误指语言结构上的错误。静态语义错误指编译时就能发现的程序含义上的错误，动态语义错误只有在程序运行时才能表现出来。堆栈溢出、指针异常和数组元素下标越界都是程序运行中才能出现的问题，而遵循先声明后引用原则的程序语言必须先定义变量，然后才能使用；否则编译器会在语法分析阶段指出变量未定义错误。