【摘 要】
：
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流
【机 构】
：
南京邮电大学计算机学院,南京大学计算机软件新技术国家重点实验室,北京邮电大学网络与交换技术国家重点实验室,EMC中国研发中心,南京航空航天大学信息科学与技术学院,南京大学计算机科学与技术系
【基金项目】
：
国家自然科学基金（60703086 90818027 60633010 60873049 60973046 60903026）, 国家“八六三”高技术研究发展计划目标导向类项目（2009AA01Z147）, 国家“九七三”重点基础研究发展规划项目基金（2009CB320703）资助
论文部分内容阅读
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
其他文献
以豆粕为原料,采用超声波和微波辅助萃取大豆异黄酮和皂苷。以单因素实验结果为依据,正交试验优化萃取豆粕活性成分的最优工艺。结果表明,豆粕中萃取大豆皂苷的最佳工艺条件
为研究不同工艺仙人掌提取物对绿壳蛋鸡生产性能的影响,选取7 260只40周龄绿壳蛋鸡,随机分为3组（处理Ⅰ组、处理Ⅱ组和对照组）。对照组饲喂基础饲粮,处理Ⅰ组在基础饲粮中添加
目的探讨老年肺炎的临床特征和治疗效果。方法选择我院2007年1月至2009年12月肺炎老年患者83例,分析其临床症状和体征、并发症、基础疾病、白细胞计数和痰培养等,以上患者均
维生素A是人类最早发现的维生素。1914年Mc Collum和Davis从卵黄和奶油中提取出一种脂溶性生长因子,命名为维生素A。1931年Karrer等测定出维生素A的视黄醇结构并获得诺贝尔奖
网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函