-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=计算函数模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
用计算函数模型增强数据流分析被引量：1
《软件学报》2000年第2期187-194,共8页胡世亮 臧斌宇 朱传琪 
国家自然科学基金! (No.6 96 330 30 );国家 86 3高科技项目基金! (No.86 3- 30 6 - ZT0 1- 0 2 - 0 1);教育部科学技术项目基金
精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑...
关键词：计算函数模型 数据流分析 并行化编译器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部