%0 Journal Article
%T Enhancing Dataflow Analysis with Computation Function Model<br>用计算函数模型增强数据流分析
%A HU Shi-liang
%A ZANG Bin-yu
%A ZHU Chuan-qi
%A <br>胡世亮
%A 臧斌宇
%A 朱传琪
%J 软件学报
%D 2000
%I 
%X A precise dataflow analysis should effectively exploit the semantic information presented by conditional branch statements.Most traditional systems,however,either ignore the logical conditions,or try hard to handle logical conditions with logical reasoning which is rather difficult and infeasible for paralleling systems.With the aim to solve this problem efficiently and effectively,the authors introduce the computation function model and then successfully convert the logical reasoning problems into problems of deciding the coverage relationship of Omega regions which are substantially more feasible to be solved by contemporary paralleling compilers.
%K Computation function model
%K dataflow analysis
%K conditional branch statement
%K omega region<br>计算函数模型
%K 数据流分析
%K 条件分支语句
%K Omega区域.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=8021B5E1F9B63A99&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=0B39A22176CE99FB&sid=3E0812ED84A7B31D&eid=5D9D6A8FC2C66FD8&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7