基于格的数据流分析框架研究

摘要：

数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面.论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础.

关键词：数据流、信息流、控制流图、前向流、后向流

所属期刊栏目：42

分类号：TP314(计算技术、计算机技术)

资助基金：西华师范大学校科研和教改项目04A021

在线出版日期：2006-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：48-51