静态错误条件中包括未知的XSLT元素、属性和函数。

Included among the static error conditions are unknown XSLT elements, attributes, and functions.

youdao

另一类静态错误是将能够识别的元素和属性放在了不允许出现的地方。

Another kind of static error is where the element or attribute is recognized, but has been placed where it is not allowed.

youdao

其中一步是扫描静态错误，即不论什么样的转换输入必定是错误的情况。

One such step is to scan for static errors, which are situations that will always be erroneous regardless of the transformation input.

youdao

So actually, the problem with static semantics is you'd like it to catch everything, you don't always get it.

因此实际上，你希望静态语义检查,能捕获所有的错误，但是经常结果不是这样的。

麻省理工公开课 - 计算机科学及编程导论课程节选

OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?

好，当你的代码语法,没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？

麻省理工公开课 - 计算机科学及编程导论课程节选

Not everything is going to get caught in static semantics checking.

并不是所有的错误,都会在静态语义检查中被捕获。

麻省理工公开课 - 计算机科学及编程导论课程节选