分支结构程序的约束转换及语义等价

来源 :无线通信技术 | 被引量 : 0次 | 上传用户:ellen719420908
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过复用已有的开源代码或内部遗留代码,可极大地提高软件开发效率、降低开发成本,而准确地搜索到所需代码是代码复用的前提和基础。当前基于"输入/输出"语义匹配的代码搜索方法解决了关键字搜索中因为语义歧义存在代码搜索准确度不高的问题,但仅仅考虑了顺序结构代码的处理。在已有工作基础上,重点关注分支结构代码的基于"输入/输出"匹配的语义搜索方法。首先给出不同分支结构的语法定义及形式化描述。其次,定义分支结构到顺序结构的语法转化规则、语义上的约束转换规则,以及转换过程的语义等价性证明。最后给出上述语法转换的实现算法。理论分析及实例表明,该方法是合理、可行的,将为代码搜索提供方法指导。
其他文献
目的:探讨临床护理路径在脑出血患者中的应用效果。方法:将100例脑出血患者随机分为观察组和对照组各50例,对照组给予常规护理,观察组给予临床护理路径护理,比较两组护理效果、并
目的:探讨异种脱细胞真皮在口腔颊部肿瘤切除后组织缺损修复中的应用方法、效果及长期观察的评价。方法:收集2006年4月~2009年5月口腔颊部肿瘤切除后组织缺损应用异种脱细胞真皮
电力资源是我国的重要资源,电力资源的输送质量取决于电力工程施工。所以,必须加强对电力工程施工的管理,尤其是要重视电力安全管理,以降低安全事故的发生概率,确保电力工程
近年来,随着“科教兴国”、“创新驱动发展”、“大众创业、万众创新”等国家战略的实施,我国科学技术和文化产业在获得迅猛发展的同时,二者之间的融合协调发展也日益受到人
在拥有300头基础母猪的种猪场,利用直观、快速、准确和无损伤的便携式兽用B超仪抽样检测91头配种16 d以上的母猪在20与50 d的妊娠率。结果表明,18~20 d确诊的非妊娠准确率为100%
对风景名胜资源价值的正确认识,是关系到资源评价、资源有偿使用、资源永续利用的核心问题.因此以往在风景名胜资源价值上的片面认识,导致了破坏资源、过渡开发等一系列问题.
目的:探讨护理干预在小儿静脉采血中的应用效果。方法:选取2014年6月~2015年6月门诊120例静脉采血患儿,随机等分为对照组和观察组,对照组给予常规护理;观察组在常规护理基础给
利用HS-101V便携式兽用B超仪的快速、直观、清晰、准确和无损伤等优点,在规模化养猪场,进行早期妊娠诊断和检测母猪卵巢和子宫的病理状态,如子宫内膜炎、子宫蓄脓、子宫积液
本文重点对电力工程施工中安全技术管理的重要性进行阐述,从三个方面对电力工程施工中安全技术管理举措进行探究,即电力工程施工中针对施工环境的安全技术管理、电力工程施工
目的:探讨蛋白酶激活受体2(Proteinase activated receptor-2,PAR-2)的激活对肥大细胞P815介质分泌的影响。方法:肥大细胞培养后用PAR-2激动肽,胰蛋白酶、类胰蛋白酶、弹性蛋白酶