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

摘要

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