基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.
推荐文章
数组数据流分析技术的研究
数据流分析
终写树
电力大数据的多数据流实时处理技术分析
电力大数据
多数据流
时序模型
实时处理
空间复杂度
基于数据流的Java字节码分析
数据流分析
半格
JAVA字节码
控制流图
高速数据采集系统的数据流无缝缓存技术
乒乓操作
高速数据
码制转换
无缝缓存
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 数据流分析中的区域覆盖技术
来源期刊 软件学报 学科 工学
关键词 Ω区域 Φ区域 数组数据流分析 数组私有化 符号分析
年,卷(期) 2000,(3) 所属期刊栏目
研究方向 页码范围 334-341
页数 8页 分类号 TP311
字数 6225字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 臧斌宇 复旦大学并行处理研究所 46 315 8.0 15.0
2 朱传琪 复旦大学并行处理研究所 32 201 7.0 12.0
3 胡世亮 复旦大学并行处理研究所 2 6 2.0 2.0
4 凌冰 复旦大学并行处理研究所 1 4 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (1)
参考文献  (3)
节点文献
引证文献  (4)
同被引文献  (3)
二级引证文献  (13)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2001(1)
  • 引证文献(1)
  • 二级引证文献(0)
2004(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2014(2)
  • 引证文献(0)
  • 二级引证文献(2)
2015(3)
  • 引证文献(0)
  • 二级引证文献(3)
2017(4)
  • 引证文献(0)
  • 二级引证文献(4)
2018(3)
  • 引证文献(1)
  • 二级引证文献(2)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Ω区域
Φ区域
数组数据流分析
数组私有化
符号分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件学报
月刊
1000-9825
11-2560/TP
16开
北京8718信箱
82-367
1990
chi
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
论文1v1指导