专业释义英英释义
-
语义错误 - 引用次数：1
So both program and its specification are on uniform framework, which can reduce the possibility of semantic error. With the support of BToolkit, this formalized B-method improves software reliability and Automation efficiency greatly.
B方法建立在Zermelo-Frankel集合理论的基础上,使用符号表示法(广义代换)来表达状态的转换,使程序及其规格说明处于统一的数学框架之下,这样可以大幅度减少出现语义错误的可能性,借助于B工具的支持,可以极大提高软件可靠性和软件开发的自动化程度。
参考来源 - B语言与方法在算法形式化中的应用研究语意错误语义差错 -
语义错误 - 引用次数：1 参考来源 - 英语专业研究生写作错误的实证分析
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
This is a static semantic error.
这是个静态语义错误。
-
All right. Why is it 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静态分析框架作为可选组件，在编译之前提供语义错误报告。
-
All right. Why is it a static semantic error?
好，这为什么是个静态语义错误呢？
-
This is a static semantic error.
这是个静态语义错误。
应用推荐