过程式语言到函数式语言的抽象方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户:niuyq888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了从过程式程序到函数式程序的转换规则,这些转换规则是从语言的接续指称语义推导出来的,我们考虑了GOTO语句的处理,因此,我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的,其正确性得到了保证。
其他文献
建筑师把建筑中的流线视觉化,转化为‘廊’的形式,在旧有建筑的屋檐下加入一个扁平的‘曲廊’将分散的建筑合为一体,创造新旧交替、内外穿越的环境感受。
1.叶轮式增氧机。该机通过搅拌水体和曝气原理增加水中的溶氧量,增氧效果好,动力效率高,按电机功率大小有多种型号。使用时整机浮在池塘中央并用绳索系牢于池边。工作时叶轮旋转,
目的:急性髓细胞性白血病(AML)患者完全缓解后早期复发的监测对其长期生存至关重要。在缓解期AML骨髓中我们观察到成簇前体细胞,类似MDS的ALIP,我们称之为“ALIP”样结构,该结构与
铜:本周LME三月期铜开盘1545美元,最高1687美元,最低1543美元,收盘1670美元,较上周上涨164美元,本周共成交528972手。本周末库存为754425吨,较上周减少6675吨,现货对三月期货
由于历史渊源,风俗习惯,生存环境,宗教信仰等不同,使得中西文化存在着很大的差异,随着"地球村"的逐步实现,各国文化之间的交往也日益频繁,引发了跨文化研究的高潮。探讨中西文
<正>近年来,团海盐县委聚焦团干部主责主业,在团工作基层基础、团干部培养教育等方面真抓实干,成效初显。2017年,团海盐县委改变过去重团组织建立轻队伍管理、重活动开展轻团
20世纪70年代以滞涨为特征的经济危机宣告了凯恩斯主义的失效,人们要求放弃国家干预的政策,采取能够实现经济有效增长的新政策,新自由主义就此登上了历史舞台,并在美国等西方
Haskell是一款正在数学家当中渐渐流行起来的语言,正如有的数学家曾说:"在我的很多项目当中,有一种迹象渐渐地表明,在我平时日复一日的数学论述中所使用的表达式与在Haskell的
第五计:趁火打劫趁火打劫。指趁人家失火时去抢劫。比喻乘人之危谋取私利。此计用于本文仅取其“擅长抓住时机”之特点。尤其适用于需耍疗程用药的产品,使用得当可有效提高客单
在光折变介质中能无衍射的向前传播的光束称为光折变空间孤子,光折变空间孤子已经成为近20年来研究的热点,原因在于光折变空间孤子可以在较低的光强下得到。光折变现象最早发现