论文部分内容阅读
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.
数据流分析中的区域覆盖技术
【摘 要】
：
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数
【机 构】
：
复旦大学并行处理研究所,上海,200433
【出 处】
：
软件学报
【发表日期】
：
2000年3期
其他文献
苏童作为一个“说故事的好手”吸引了很大一部分读者的阅读并得到认可，特别是文学与影视广泛而深入地联系在一起后更是让这个看似腼腆内敛的男人成为影视导演中的红人。读罢苏
王褒是蜀中汉赋四大家之一，汉宣帝时代的文坛领袖，然而，在汉大赋研究受到冷遇的大背景下，研究王褒的学者和成果都很少。在文学史上，王褒的作品自有鲜明的特点和独特的价值。因为汉
一晃到了中年,成了前辈。不知不觉中发现后面已成长起一批又一批的年轻人,在很多场合我们这拨人已成了长者,常有活动方告诉我们对年轻人说点什么。说实在的,真没觉得自己老,
展览时间:2014年12月5日至2015年1月4日展览地点:湖北美术馆1、2号展厅“再雕塑——2014三官殿1号艺术展”展出了向京、史金淞、焦兴涛、李占洋、陈文令、曹晖六位艺术家的最
本是百兽群中王,岂能林中久卧躺;跃身前扑尾高卷,飞沙走石震山岗。在天然画面石上竟然有这样形象逼真生动的猛虎下山图纹,真乃鬼斧神工也!
This is the king of the behemot
《比丘尼传》作为梁代释宝唱记载晋、宋、齐、梁四朝尼僧事迹的传记。释宝唱第一次系统地收集整理四朝之比丘尼事迹，通过“博采碑颂，广搜记集，或讯之博闻，或访之故老”的艰辛努力