咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 并行化编译器
  • 1 篇 数据流分析
  • 1 篇 计算函数模型

机构

  • 1 篇 复旦大学

作者

  • 1 篇 臧斌宇
  • 1 篇 zang bin-yu
  • 1 篇 朱传琪
  • 1 篇 zhu chuan-qi
  • 1 篇 hu shi-liang
  • 1 篇 胡世亮

语言

  • 1 篇 中文
检索条件"主题词=计算函数模型"
1 条 记 录,以下是1-10 订阅
排序:
计算函数模型增强数据流分析
收藏 引用
软件学报 2000年 第2期11卷 187-194页
作者: 胡世亮 臧斌宇 朱传琪 复旦大学并行处理研究所 上海200433
精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑... 详细信息
来源: 评论