您的位置： 专家智库 > >

湖北省教育厅科学技术研究项目(B20111404)

作品数：1 被引量：3H指数：1
相关作者：林姗郑朝霞更多>>
相关机构：湖北工业大学更多>>
发文基金：湖北省教育厅人文社会科学研究项目湖北省教育厅科学技术研究项目湖北省高等学校省级教学研究项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇定值
  • 1篇数据流
  • 1篇数据流分析

机构

  • 1篇湖北工业大学

作者

  • 1篇郑朝霞
  • 1篇林姗

传媒

  • 1篇武汉理工大学...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于格的数据流分析研究与应用被引量：3
2011年
论述了编译系统中数据流分析的理论基础,在此基础上系统阐述了基于格理论的通用分析框架,为常见数据流问题提供了统一的解决方案。针对"到达定值"数据流问题,给出其基于格的分析框架,并以探测变量未定值先使用为例,给出了解决该数据流问题的算法。这种方法在试图解决不同的数据流问题时,利用一个分析框架只需给出相应的数据流问题定义所具有的特性即可,也有助于在软件设计中确定求解算法的可复用组件。
林姗郑朝霞
关键词：数据流分析
全选 清除 导出
共1页<1>
聚类工具0