1) deficiency of procedure
程序不足
2) Procedural flaws
程序性不足
3) unsatisfied sub k-sequence
不满足子序列
4) inequitableness in procedure
程序不公
5) non-program
不可程序化
6) Program Invariants
程序不变量
1.
An approach to protecting program at runtime by monitoring program invariants is proposed.
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。
补充资料：陈述性／程序性知识
陈述性／程序性知识
declarative-procedural knowledge
陈述性程序性知识(d eelarative一proeeduralknowledge)现代认知心理学所划分的两种基本的知识类型。陈述性知识指知道是什么，即关于事实的知识;程序性知识指知道怎么做，即关于技能的知识。大部分陈述性知识能够用语言表述，而程序性知识却很难被意识到。例如，大多数人知道怎样骑自行车，但不能用语言清楚地表述出来;而3 X4二12则能用语言表述。前者是程序性知识，后者是陈述性知识。认知心理学主要关心这两类知识在头脑中是怎样被表征的。一般认为，陈述性知识有言语、意象和命题三种表征方式，而程序性知识则是由一套产生式系统来表征的。 (谭立海撰粤藕铃审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条