论文部分内容阅读
本文探讨递归程序的验证技术,着重阐述结构归纳法在递归程序验证中的应用。
关于递归程序的验证
【摘 要】
：
本文探讨递归程序的验证技术,着重阐述结构归纳法在递归程序验证中的应用。
【机 构】
：
江汉大学数学计算机系,华中理工大学
【出 处】
：
江汉大学学报：社会科学版
【发表日期】
：
1993年6期
其他文献
目的探究进展性脑梗死(progressive cerebral infarction,PCI)患者经双联抗血小板联合丁苯酞注射液治疗的临床效果及对血清炎症因子和神经功能的影响。方法选取2018年9月到20
<正> 国营大中型企业普遍处于产品滞销,库存增加,资金沉淀,经济效益下滑,企业营运艰难的状况。如何尽快搞好大中型企业,使其摆脱困境,已经成为当务之急。长期以来,由于传统的
针对企业资产使用效率不高的问题，进行了系统分析与设计，采用 PHP和MySQL后台数据库相结合的技术设计并实现了适合河南机电职业学院校办企业的资产管理系统。系统实现了资产登
冬季寒潮来临时,温度变化较为明显,供水管道极易发生爆管漏水等事故。首先,从管道温度应力和土体冻胀融沉两方面分析温度对供水管道的影响机理。然后将温度指标分为地区指标
目的研究桂西地区上消化道出血的病因及不同年龄段患者出血病因构成分布情况。方法回顾性分析2014年1月至2018年12月于右江民族医学院附属医院临床诊断上消化道出血并行胃镜
用密度泛函理论B3LYP方法，在6—311＋G（d，P）基组水平上，计算并分析了瘦肉精代表性分子特布他林（L）与8种常见的金属离子M（Ⅱ）形成的配合物ML（M=Mg，Ca，Mn，Fe，Ni，Co，Cu，Zn）的几何构型、紫外可见吸收
目的探讨个案护理干预老年股骨转子间骨折并发症的临床应用效果。方法将2017年7月~2019年2月骨科收治的老年股骨转子间骨折250例,随机分为研究组和对照组,对照组患者接受常规
近年来二烷氧基取代对苯乙炔聚合物(PPV)发光功能材料广泛应用于液晶彩电、电脑、飞机彩色液晶显示屏中,本文研究了利用相转移催化反应在不同的催化剂反应条件下,合成二烷氧
目的:探讨针灸康复护理在颈椎病护理中的应用效果。方法:选择过去一年在我院进行治疗的颈椎病患者86名,将所有患者分别设为对照组(43名)与干预组(43名)。其中对照组除针灸治