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.
缺点是，第二个版本是难以阅读，而不是保护的编译时的语法和语义检查。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
应用推荐