【摘 要】
：
程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与
【机 构】
：
南京大学计算机科学与技术系! 南京 210093; 南京大学计算机软件新技术国家重点实验室! 南京 210093;
【基金项目】
：
合肥经济技术学院科研基金!项目编号99－183;江苏省自然科学基金!项目编号BK99038
论文部分内容阅读
程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关．文中详细阐述了程序切片技术的研究与进展情况，并对目前存在各种程序切片方法和工具进行了比较；简单介绍了文中提出的面向对象的分层切片方法及其算法的思想；最后分析了程序切片技术目前还存在的一些问题及其发展趋势．
其他文献
汉代对内徙羌族部落主要采用属国、护羌校尉和道的管理建置,这种多元民族管理建置具有各自不同的管理系统,职责和权限也不同,相当于郡县二级制的管理模式。其适应了当时羌族
<正>目的:在小鼠胚胎发育过程中,造血位点的研究是造血细胞发生学上一个热点和难点,主要是由于8.5dpc时血液循环的建立给此后的精确研究带来了困难,目前在转基因小鼠中得到的
上世纪90年代后伊朗电影和韩国电影的异军突起,不仅给亚洲新电影注入了令人兴奋的强心剂,也令包括好莱坞在内的国际影坛为之侧目,伊朗电影和韩国电影在亚洲的崛起,已逐渐成为
随着中国对外发展逐渐的国际化,来到中国的美国人也在不断增长。因此,更多地了解彼此文化中的差异和习惯,是增进中美两国人民友好交往的重要前提。本文是结合笔者的亲身经历,
面对工资外的"灰色收入"是否具有可税性,是否应把这部分收入纳入征税范围,这个问题不断拷问着个人所得税税制设计的公平合理性和合法性。本文认为,应该对这部分收入征税,主要
目的探讨中医定向透药疗法联合心理护理用于老年腰椎间盘突出症患者护理中的效果。方法将选取2017年9月-2018年8月我院收治的老年腰椎间盘突出症患者84例,平均分为对照组42例
文章从分析政府采购经济效益的内涵入手,对政府采购经济效益的评价指标体系及其运用进行了全面分析,为在实践中科学、全面地评价政府采购经济效益提供指导。
首先提出了作为面向对象环境中最小元素的对象元的概念 ,突出了面向对象环境的智能化特征 ,接着给出了一整套关于对象 (对象元、复杂对象 )结构模型的形式定义 ,为创建面向对
被认为是应用最为广泛的C-D生产函数模型,也只是对现实经济的近似描述,如何在此基础上结合新兴市场化国家的不同情况,不断改进函数形式仍然是具有现实意义的课题。按照产权性