2) validation of program correctness
程序正确性验证
1.
The method of the validation of program correctness based on syntax trees is a fire-new research field.
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性。
5) protocol correctness proof
协议正确性证明
6) partial correctness proof
部分正确性证明
补充资料：陈述性／程序性知识
陈述性／程序性知识
declarative-procedural knowledge
陈述性程序性知识(d eelarative一proeeduralknowledge)现代认知心理学所划分的两种基本的知识类型。陈述性知识指知道是什么，即关于事实的知识;程序性知识指知道怎么做，即关于技能的知识。大部分陈述性知识能够用语言表述，而程序性知识却很难被意识到。例如，大多数人知道怎样骑自行车，但不能用语言清楚地表述出来;而3 X4二12则能用语言表述。前者是程序性知识，后者是陈述性知识。认知心理学主要关心这两类知识在头脑中是怎样被表征的。一般认为，陈述性知识有言语、意象和命题三种表征方式，而程序性知识则是由一套产生式系统来表征的。 (谭立海撰粤藕铃审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条