semantic error

This is a static semantic error .

这是个静态语义错误。

On top of that , we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time .

在此基础之上，我们引入新的Codan静态分析框架作为可选组件，在编译之前提供语义错误报告。

Enable semantic error checking to ensure that there are no semantic errors in the model .

启用语义检查，确保在模型中没有语义错误。

If a variable is used before it is initialized , a semantic error is generated , the variable is created with a value of zero , and a message is printed .

如果变量是在初始化之前使用的，那就会产生语义错误，使用值为0来创建这个变量，并打印一条消息。

B is established on Zermelo-Frankel set theory . It expresses states transferring by signal method . So both program and its specification are on uniform framework , which can reduce the possibility of semantic error .

B建立在Zermelo-Frankel集合理论的基础上，它使用符号表示法（广义代换）来表达状态的转换，使程序及其规格说明处于统一的数学框架之下，减少了出现语义错误的可能性。

After discussing the data cleansing model in ETL , and to solve the known or unknown error and semantic error , this paper proposes a data cleansing strategy of combination of automatic and manual methods that has a better realism significance .

在给出ETL过程中数据清洗模型的基础上，针对已知和未知的错误类型，以及语义上的错误，提出了一种自动清洗和人为清洗相混合的数据清洗策略，具有较好的现实意义。

Firstly , by analyzing the characteristics of source code and object code , the architecture of compiling and interpreting system , which includes morphology / syntax analysis , semantic analysis , error handling , symbol table manager and object code generation , was presented .

通过分析源代码、目标代码的特点，提出了由词法/语法分析、语义分析、错误处理、符号表管理及代码生成五个阶段构成的编译解释系统体系结构。

Traditional error control technologies consider videos as long bit streams , ignoring the underlying semantic information and perform error control in a way as signal processing .

传统的视频差错控制技术一般采用信号处理的方法，把视频流看成一个二进制比特序列，没有考虑视频本身所包含的语义信息和提供信息的重要程度的差异。