基于格的数据流分析研究与应用

作     者：林姗 郑朝霞 LIN Shan;ZHENG Zhaoxia

作者机构：湖北工业大学计算机学院湖北武汉430068 

基　　金：湖北省教育厅科研基金资助项目(B20111404) 湖北省教育厅教学研究基金资助项目(20060256) 湖北省教育厅人文社科青年科研基金资助项目(2010Q038) 

出 版 物：《武汉理工大学学报（信息与管理工程版）》 (Journal of Wuhan University of Technology：Information & Management Engineering)

年 卷 期：2011年第33卷第6期

页      码：932-935,944页

摘      要：论述了编译系统中数据流分析的理论基础,在此基础上系统阐述了基于格理论的通用分析框架,为常见数据流问题提供了统一的解决方案。针对"到达定值"数据流问题,给出其基于格的分析框架,并以探测变量未定值先使用为例,给出了解决该数据流问题的算法。这种方法在试图解决不同的数据流问题时,利用一个分析框架只需给出相应的数据流问题定义所具有的特性即可,也有助于在软件设计中确定求解算法的可复用组件。

主 题 词：编译系统 数据流分析 格 到达定值 未定值先使用 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3963/j.issn.1007-144X.2011.06.021

馆 藏 号：203519024...