%0 Journal Article
%T Region Coverage Method in Dataflow Analysis<br>数据流分析中的区域覆盖技术
%A HU Shi-liang
%A ZANG Bin-yu
%A LING Bing
%A ZHU Chuan-qi
%A <br>胡世亮
%A 臧斌宇
%A 凌冰
%A 朱传琪
%J 软件学报
%D 2000
%I 
%X 用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域，并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.
%K Ω区域
%K Φ区域
%K 数组数据流分析
%K 数组私有化
%K 符号分析.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F3C4D872EF507FA9&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=9DC563A0FEFC04F9&eid=4B168891B5E5FB30&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=12