%0 Journal Article
%T 数据流分析中的区域覆盖技术
%A 胡世亮？
%A 臧斌宇？
%A 凌冰？
%A 朱传琪？
%J 软件学报
%P 334-341
%D 2000
%X 用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递ω区域、φ区域，并在数据流分析过程中,利用ω区域、φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.
%K ω区域
%K φ区域
%K 数组数据流分析
%K 数组私有化
%K 符号分析.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000308&flag=1