Not everything is going to get caught in static semantics checking.
并不是所有的错误，都会在静态语义检查中被捕获。
The last piece of it is, in addition to having static semantics, we have sort of full semantics.
最后一部分是，除了static语义之外，我们还有一些full语义。
OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?
好，当你的代码语法，没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？
They are accustomed to thinking of all semantics in terms of the primitive axioms that make up the static data typing of mainstream languages and database systems.
他们习惯于按照组成主流源和数据库系统静态数据类型化的最初设想来思考所有的语义。
Accuracy of static analysis depends on the representation of program's abstract semantics.
静态分析的精确度取决于对程序抽象语义的表达。
Spatial relationships of individual semantic category is divided into a static spatial relationship semantic category, the dynamic semantics of spatial relations category.
个别空间关系语义范畴分为静态空间关系语义范畴、动态空间关系语义范畴。
Spatial relationships of individual semantic category is divided into a static spatial relationship semantic category, the dynamic semantics of spatial relations category.
个别空间关系语义范畴分为静态空间关系语义范畴、动态空间关系语义范畴。
应用推荐