用计算函数模型增强数据流分析

摘要：

精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法.

关键词：计算函数模型、数据流分析、条件分支语句、Omega区域

所属期刊栏目：11

分类号：TP314(计算技术、计算机技术)

资助基金：中国科学院资助项目69633030;国家科技攻关项目863-306-ZT01-02-01;教育部科技司资助项目97JS76.5.2JW0701

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：187-194