关键字词 key word 语义差错 semantic error 注:语义差错可以是逻辑差错、概念差错、技术差错。 核心语义差错 critical semantic error .
基于200个网页-相关网页
2 语义错:如果在程序的语法上正确,但在语义上存在错误,则称为语义错( semantic error) ,又称为运行错(run-time error) ,语义错不能被编译系统发现,只有到程序运行时才 能被发现,如输入数据格式错、除数为 0 错...
基于12个网页-相关网页
critical semantic error 核心语义差错
semantic error source 语意错误源
semantic error handing 语意错误处置 ; 语义错误处理
semantic error checking 语意错误检查 ; 语义错误检验
Live Semantic Error 实时语义误差
semantic error handling 语义错误处理
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语言与方法在算法形式化中的应用研究·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.
这是个静态语义错误。
应用推荐