关于递归程序变换的注记

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:jianjia88521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
关于递归程序变换的注记蔡经球(厦门大学计算机科学系,厦门361005)程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言,递归算法的设计由于符合人的思维习惯(把“复杂情形”逐次归结为“较简单”情形),且结构清晰,因而易理解、易验...
其他文献
目的对比分析末端可弯曲型输尿管镜(F-URS)与经皮肾镜取石(PCNL)联合钬激光在治疗直径矣2cm肾盏结石中的疗效与安全性。方法收集93例直径矣2cm肾盏结石患者的临床资料,其中46例
本文介绍IC版图数据的取器中预处理模块的设计方法与特点。
保利百合花园景观自然、清新的风格一洗近年来园林界浮夸豪华的风气。设计初期,综榈园林的设计师们对场地进行了深入的分析,在保留原有的乔木基础上进行设计,以自然的森林景观为
硬盘故障处理一例申善磊(新乡市农业银行电脑中心,453003)当硬盘出现故障时,用户一般首先考虑到的是硬盘盘面是否受损,多功能卡是否损坏,硬盘硬件电路是否有问题,很少考虑硬盘类型选择是否
利用软件调试工具(如Code View)调试较复杂循环结构的软件往往比较困难,本文介绍一种简单、有效的方法。
目的探讨血清脂联素水平对妊娠期糖尿病(GDM)患者远期心血管疾病(CVD)危险的预测作用。方法收集119例妊娠晚期(36~42周)孕妇作为研究对象,先按是否有GDM分组,再按心血管危险因素(CVRF)个
阳光、鲜花、流线——这就是花城售楼部“健康空间艺术”的真实体现。