【摘 要】
：
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图（SDG）算法,但这种算法缺乏对过程内切
【基金项目】
：
国家自然科学基金(61300054);广西可信软件重点实验室开放基金;江苏省“青蓝工程”中青年学术带头人资助项目
论文部分内容阅读
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图（SDG）算法,但这种算法缺乏对过程内切片结果的再使用。文中提出一种参数化的改进SDG切片方法,使用一种新的构造传递依赖边的方法（SummEdge算法）,充分复用了过程内切片的结果,无需构造特征子图等中间形式,避免了调用上下文问题和重复计算。此外,文中对算法的效率和精度进行了验证,并与其他切片算法进行比较,实证了改进SDG算法的有效性。
其他文献
十八大以来,党中央、国务院高度重视应对气候变化工作,将应对气候变化融入国家经济社会发展大局,进一步完善应对气候变化顶层设计和体制机制建设,为推动落实新发展理念、推动
目的：通过分析军队医院抗感染药物药品不良反应/事件（ADR/ADE）报告,了解其ADR/ADE发生特点及规律。方法：回顾性收集2009–2013年军队ADR监测管理系统中22 605例抗感染药物ADR/ADE
上世纪80年代．香港政府面对市民对医疗技术期望高．医疗服务管理不善，政府医院环境恶劣，医院聘用条件较差．资源使用效率低下，医务人员流失率高，士气低落等问题，于1990年12月通过立法成
2008年，中国改革开放30周年之际，中国出版产业也迎来了其改革发展的关键之年。新年伊始，胡锦涛总书记在全国政协新年茶话会上再次强调了党的十七大的精神，要求深化文化体制改革，加
本案例采用元认知心理干预技术,对一名患有考试焦虑的初三学生进行心理干预,利用考试焦虑自评量表(TAT)和症状自评量表(SCL-90)对干预前后的指标进行了评估。经过六次临床干
邓铁涛教授是当代著名中医学家，在长期的医疗活动中对冠心病介入术后的中医辨证论治积累了丰富的经验，他认为经皮冠状动脉介入治疗属于中医“祛邪”治法，术后患者的病机特点以本
《爱的甘醇》是多尼莱蒂的代表作之一，剧中花腔女高音唱段为声乐学习和花腔演唱提供了宝贵的学习资源和研究素材。本文通过花腔女高音简述、歌剧《爱的甘醇》简述、花腔女高音
蟹油作为一种鲜味调味品，具有色泽金黄、滋味香鲜的特点。蟹油制作在选料时需注重其季节性、鲜活性和品种差异，并能熟练掌握蟹肉、蟹黄的取料加工，在蟹油熬制及保藏过程中进行必
目的观察肺癌组织中Livin、信号转导转录活化因子3(STAT3)基因的表达变化,并探讨其与临床病理特征的关系。方法肺癌患者86例,采用荧光定量PCR法检测患者肺癌组织及其癌旁组织
数据可视化作为一个新的研究领域,正在广泛地运用于许多领域。本文首先介绍了数据可视化的特点、历史发展;然后讨论了数据可视化对新型城镇化风景园林建设的重要意义,总结了