semantic error checking 语意错误检查 ; 语义错误检验
This thesis analysizes mathematicalknowledgesemanticchecking,mainlyincludingknowledge redundancy and knowledge inconsistency, and presents elaborate algorithms and data structures for mathematical knowledge semantic checking.
分析了数学知识的语义错误现象,主要包括知识的冗余性错误和不一致性错误。 给出了详细的语义检查算法以及数据结构。
参考来源 - 数学知识获取研究和知识管理平台的实现·2,447,543篇论文数据，部分数据来源于NoteExpress
Mathematical knowledge semantic checking.
数学知识语义检查。
SQLJ can perform syntactic and semantic checking on the code, using database connections at compile time.
SQLJ可以通过在编译时使用数据库连接，对代码执行语法和语义上的检查。
The downside is that the second version is harder to read, and is not protected by compile-time syntax and semantic checking.
缺点是，第二个版本是难以阅读，而不是保护的编译时的语法和语义检查。
应用推荐