数组数据流分析技术的研究

摘要：

传统的数据依赖关系分析不能表示两个读/写数组引用是否对同一数值进行操作,本文介绍了能给出这一精确信息的数组数据流分析技术,并详细描述了表示数据流分析的终写树LWT(Last Write Tree)的构造过程.

关键词：数据流分析、终写树

分类号：TP285(自动化技术及设备)

资助基金：河南省高校杰出科研创新人才工程项目0521000200

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

页数：共2页

页码：182-183