递归程序的正确性证明

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:playlogic
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非常有用的。这种递归程序是以一种语言比如LISP为基础的,它主
其他文献
目的 观察蒲地蓝消炎口服液联合更昔洛韦治疗流行性腮腺炎的效果。方法 选取2016年1月至2017年5月清丰县人民医院收治的82例流行性腮腺炎患儿,将其随机分为对照组与观察组,各
电子商务环境下可供企业选择的物流模式有自营模式、物流联盟模式、第三方模式、物流一体化模式等,通过对各种模式的优缺点分析,为企业选择适合自身发展需要的模式提出参考意见
做为市场经济通用商业语言,会计准则的国际趋同化是市场经济发展的必然要求。我国新会计准则体现了与国际准则的接轨,也增强了针对性。主要在公允价值、资产减值准备、债务重组
抱见礼是满族早期的一个重要礼俗,可行于同辈之间、不同辈之间以及男女之间。后金政权建立后,抱见礼有了两种内涵:一种是广义的抱见礼,也可以说是一种风俗;另一种是狭义上的抱见礼
程序正确性验证在国内外文献[4,11—18]上,讨论非常热烈。但这些文献上谈到的技术哪些是可行的呢?我们做了各项技术的可行性分析,认识到如下技术是可行的。
期刊
就我国专用小麦粉品质标准与重要标项的实际应用,以及与国际标准接轨问题进行了论述。用湿面筋对小麦粉品质进行评判是不全面的,在专用小麦粉标准中引入粉质曲线稳定性,对正确评
精练是丝织的后道工序。浸渍是真丝绸生产的首道工序,浸渍质量的好坏,不仅给织造带来影响,而且直接影响真丝绸精练后的风格。因此从系统工程这个角度出发,本文用真丝绸精练的
差别计息自实行以来通过不断适应和调整逐渐改变了人们以往由银行单方面调控利率而导致市场失灵的一种陈旧的方法和观念。随着时间的推移,这种与国际接轨的计息方式不但给商业
为提高河南省医疗卫生临床、科研水平,河南省卫计委持续加强人才建设,先后实施了"5451人才培训计划""创新人才工程"等人才建设举措。中华医学会的委员和常委是中国医学科技事业中
<正> 引言真丝,纤维中的皇后,历史悠久,其制品手感柔软,光泽优雅,为人们所青睐。为了成功地确定市场战略和满足顾客的要求,我们开发了众多重量和不同结构的真丝绸,薄的如薄纱