1) program invariant
程序不变量
1.
Application of Java modeling language during dynamically discovering likely program invariants;
Java建模语言在程序不变量动态发现过程中的应用
2.
Research of model of dynamical discovering program invariants based on contract;
基于合约的程序不变量动态检测模型研究
3.
Research of dynamical detecting technique of non-functional dependence program invariant;
非函数依赖程序不变量动态检测技术研究
2) Program Invariants
程序不变量
1.
An approach to protecting program at runtime by monitoring program invariants is proposed.
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。
3) program conversion
程序变量
4) sequence invariant
序列不变量
5) argument of subroutine
子程序的自变量
6) programmer-defined variable
程序员定义变量
补充资料:变量与变量值
可变的数量标志和所有的统计指标称作变量。变量的数值表现称作
变量值,即标志值或指标值。变量与变量值不能误用。
变量值,即标志值或指标值。变量与变量值不能误用。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条