论文部分内容阅读
本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。
程序语义差异计算方法分析与研究
【摘 要】
：
本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的
【机 构】
：
南京航空航天大学,黄河水利职业技术学院信息工程系江苏南京210016,河南开封475004
【出 处】
：
科技信息
【发表日期】
：
2006年7期
其他文献
奥地利微电子公司推出专为手机、便携式导航设备、音乐，媒体播放器以及其他使用耳机的设备设计的立体声耳机功放AS3560和AS3561。与传统的AB类功放相比，新推出的30mW耳机功放可
摘要：一般工业与民用建筑内、外墙面装饰，传统的作法是刷石灰水，刷各种色浆或墙粉。近年来发展了许多样式、品种繁多的内、外墙装饰材料。本文对建筑内墙、外墙装饰材料的应用进行简要的分析。 关键词：建筑；内墙；外墙；装饰；材料；应用 一般工业与民用建筑内、外墙面装饰，传统的作法是刷石灰水，刷各种色浆或墙粉。近年来发展了许多样式、品种繁多的内、外墙装饰材料。 1、内墙装饰材料 一般工业与民用建筑内墙
分析了安徽省农村剩余劳动力转移的主要特征和存在问题,构建了农村劳动力资源转移的个人决策模型,并提出了安徽省农村剩余劳动力转移的策略和措施.
摘要：光纤通信是以光纤〔即光导纤维)为传输介质的通信方式。光纤通信电路主要由光发送机、光接收机、光纤（光缆)等组成。 关键词：光纤;通信;配电网;测控;应用 光纤通信技术进入工程实用是近二三十年的事。电力系统最早使用光纤通信是1981 年，真正推广使用还是20世纪90年代。到上世纪末电力系统光缆总长度已达近2万公里，光纤通信站近两千个。进入21世纪后，光纤通信发展更快，先进省电力公司总部至各地
在全球气候变暖背景下，气象灾害发生越来越频繁。本文分析了2004年以来丽水市台风、干旱、低温冻害等主要气象灾害特征，从而为防灾减灾提供依据。
Lattice半导体公司为第三代低成本65nm LatticeECP3 FPGA系列推出一款新品多协议3．2G SerDes器件，该器件符合XAUI抖动标准，具有DDR3存储器接口和DSP功能，逻辑单元数为17K至149K。
进行了10％噻吩磺隆可湿性粉剂防除小麦田杂草田间药效试验，结果表明：225g／hm^2、300g／hm^2各处理药后40d对麦田杂草仍有较高的防效，对猪殃殃的株防效分别为96．34％、99．39％，鲜重防效分别