(5) 语法一致性(Syntactic Consistency)准则 看上去相似的特征,其语法定义应一 致。这是为了减少程序员的记忆负担.例如,FORTRAN 的计算转移语句: GO TO (L1, L2, ...
基于20个网页-相关网页
The time complexity of syntactic consistency analyse proves to be O(n) while the semantic consistency analyse can check and evaluate most typical semantic errors.
论文提出和推导了基于形式化推理与谓词断言表达式的综合自然环境数据语法与语义一致性自动分析、检查和修复方法,可以保证综合自然环境数据的严格语法正确性和语义一致性,且语法一致性分析的时间复杂度为O(n),语义一致性分析则可以检查多种典型的语义错误。
参考来源 - 综合自然环境建模与仿真研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐