论文部分内容阅读
用计算函数模型进行精确的数据流分析，条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。该文讨论在各种常见的程序构造下如何表示，计算和传递Ω区域、Φ区域，并在数据流分析过程中，利用Ω区域Φ区域之间的覆盖关系消除条件分支语句带来的不确定性，以得到更精确的数据流信息。
数据流分析中的区域覆盖技术
【摘 要】
：
用计算函数模型进行精确的数据流分析，条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。该文讨论在各种常见的程序构造下如何表示，计算和传递Ω区域、Φ区域，并在数据流
【出 处】
：
软件学报
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金!(No.6 96 330 30 ),,国家 86 3高科技项目基金!(No.86 3- 30 6 - ZT0 1- 0 2 - 0 1),,教育部科学技术项目基金,,国
其他文献
首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的
目的探讨呼吸机相关性肺炎的危险因素,对致病菌的种类进行分析。方法分析呼吸机相关性肺炎的临床资料,对相关危险因素及致病菌进行统计分析。结果患者的发病年龄、机械通气时
提出了一种具有强分类能力的离散HMM(hidden Markov models)训练算法.该算法利用矢量量化技术将来自不同话者的训练数据进行混合训练,以生成包含各个话者特征的话者特征图案.
程序切片是一种程序分析技术,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段.在研究静态类型面向对象的程序切片时发现,利用系统依赖图计算程序切片虽然是一
甲型H2N2流感,即是1957～1958年那次＂亚洲流感＂的元凶,而那次流感大流行也是二十世纪以来我们与其的第一次接触,至今50多年过去,现在H2N2对我们来说是依旧遥不可及,还是已经近在
目的观察适形放疗联合EP方案化疗治疗中晚期肺癌的近期疗效。方法采用三维适形放射治疗（3DCRT）联合依托泊苷（VP-16）和顺铂（DDP）方案（EP）治疗中晚期肺癌58例,分析近期疗效。放射治疗采
振动放顶煤技术是目前极有发展前景的一项采煤技术,它能有效解决现行放顶煤开采中存在的顶煤成拱、含矸率高和回采率低的问题。其原理是利用振动的作用改变放顶煤支架上方破
该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说
技工教育应主动适应市场经济；职业教育的课程模式的变化；教学内容的区别和侧重；根据技工学校的培养目标，制定相应的教学计划和大纲；机械制图教学应注重针对性、专业性和实用性。