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

• 作者: 朱传琪 胡世亮 臧斌宇
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 计算函数模型 数据流分析 条件分支语句 Omega区域
• 年，卷（期）: 2000,（2）
• 页码范围: 187-194
• 页数: 8页
• 分类号: TP314
• 字数: 7778字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	臧斌宇	复旦大学并行处理研究所	46	315	8.0	15.0
2	朱传琪	复旦大学并行处理研究所	32	201	7.0	12.0
3	胡世亮	复旦大学并行处理研究所	2	6	2.0	2.0