【摘 要】
：
John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范式 BNF 就是以他命名的
论文部分内容阅读
John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范式 BNF 就是以他命名的。本文是 John Backus 于1977年接受 ACM 图灵奖时的讲演稿。作者深刻分析了冯·诺依曼式计算机以及以这类计算机为基础的传统程序设计语言的本质缺陷之后,提出了一种所谓函数式程序设计系统。其主要特征如下:第一,便于表示递归函数和图灵机,因而,具有较好的表达能行可计算函数的能力。第二,具有潜在的并行性,便于表示并行算法。第三,具有较好的代数性质,因而,便于对程序直接进行转换,简化关于程序性质的研究。函数式程序设计系统的研究不仅促进了程序设计语言的发展,促进了软件的发展,而且对计算机系统结构的发展所起的推动作用也是巨大而深远的。本文是关于函数式程序设计系统的奠基性文献。
其他文献
组织信任研究是近年来比较热的话题,信任问题也已经成为社会学、管理学领域研究的重要问题。文章分析了国外组织信任研究活跃的背景,指出西方学者对组织信任的界定及组织信任
培训是企业员工修炼内功、学习充电的重要途径，也是企业保持竞争力和生命力的重要举措。但是，如果培训不注重效果，就很可能成为“赔”训：企业消耗了人力和财力，员工浪费了时间和精
目的筛选同一来源放射敏感性不同鼻咽癌细胞基因差异表达，探讨鼻咽癌放射抗拒机理。方法用X射线间歇多次照射鼻咽癌细胞株CNE-2建立放射抗拒性细胞CNE-2R，采用BioStarH-141s型
德育过程是一个动态系统，是一个发展化的过程，是教育者用社会要求的品德规范影响受教育者，启发他们自觉接受教育，形成教育者所期望的思想品德的过程。这就决定了在德育过程中必须
《听窦桂梅老师讲新课》一书，每篇文章均有详细的案例，使我受益匪浅。$$《生命的园子——在朗读中学习〈祖父的园子〉》一文中，窦老师细致的朗读指导给留下深刻的印象，也使我反思
本文通过探讨事业单位财务风险产生的原因及当前现状,分析了事业单位财务风险的主要类型与种类,并针对事业单位的未来发展,提出了关于风险防范的措施和建议。
This article
目的:研究环氧化酶-2(cyclooxygenase-2,COX-2)抑制剂celecoxib对人骨肉瘤细胞MG-63抑制增殖及诱导凋亡的作用.方法:MTF比色观察celecoxib的细胞毒性作用及其浓度依赖性;Hoec
目的探讨关节置换术Ⅰ类切口围手术期预防性抗菌药物的应用与术后切口感染的相关性,为骨科医生合理使用预防性抗菌药物提供参考理论依据。方法随机选择关节置换术Ⅰ类切口患
目的:观察耳穴压籽疗法在眩晕症中的应用效果。方法:选取眩晕症患者30例,随机分为观察组和对照组,每组15例。对照组给予常规西医治疗,观察组给予中医耳穴压籽疗法。比较两组
<正>在党书记的将十"九加大强报基告层中组,织习建近设平"总作为"坚定不移全面从严治党,不断提高党的执政能力和领导水平"的重要内容加以阐述,明确了目标,指出了问题,提出了