程序理解研究与进展

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程序设计方法等等,致使目前社会上的软件产品种类繁多.结构各异。因此,软件维护问题已成为当前软件产业面临的重要课题。首先,由于还未研制出实际可用的软件确认技术,软件投入使用后修改错误不可避免;其次,软件所处的环境和用户的要求经常     

一种基于Z规范的纯函数式程序设计方法

状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统.通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法.     

程序设计能从冯·诺依曼式的设计风格中解放出来吗?函数式程序设计及其程序代数

John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范式 BNF 就是以他命名的。本文是 John Backus 于1977年接受 ACM 图灵奖时的讲演稿。作者深刻分析了冯·诺依曼式计算机以及以这类计算机为基础的传统程序设计语言的本质缺陷之后,提出了一种所谓函数式程序设计系统。其主要特征如下:第一,便于表示递归函数和图灵机,因而,具有较好的表达能行可计算函数的能力。第二,具有潜在的并行性,便于表示并行算法。第三,具有较好的代数性质,因而,便于对程序直接进行转换,简化关于程序性质的研究。函数式程序设计系统的研究不仅促进了程序设计语言的发展,促进了软件的发展,而且对计算机系统结构的发展所起的推动作用也是巨大而深远的。本文是关于函数式程序设计系统的奠基性文献。     

函数式程序设计语言的教学研究与探讨

本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。     

面向概念的通用知识获取系统

本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架和类对象 的结构,它由一组概念特性和属性,逻辑约束和函数式等支持。这些特性可由具体的应用而赋于实际的含义。知识库中的概念集是一个层次式的继承网络。另外系统还附有一些语义子系统,如一阶逻辑系统和简单的自然语言系统,用以各种类型的语法检查及知识的冗余、互斥及非一致性检查。系统主     

在MDS-287中用8086和8087计算超越函数的精度和执行速度的比较

一、问题的提出在某项工程任务中,需要将一些函数其中包括超越函数进行实时运算。为便于程序设计,将推导出的超越函数的正切函数表达为 tg(a_nΔt/V)=tgx (1)其中:a_n为目标机动过载,V为速度,Δt为时间向隔。要求在0相似文献   

手把手教你学单片机的C语言程序设计（十一）

函数的定义C语言程序是由函数构成的,函数是C语言中的一种基本模块。在《手教手教你学单片机的C语言程序设计(三)》中,我们已经介绍了C语言程序的组成结构,即C语言程序是由函数构成的,一个C源程序至少包括一个名为main()的函数(主函数),也可能包含其它函数。C语言程序总是由主函数main()开始执行的,main()函数是一个控制程序流程的特殊函数,它是程序的起点。所有函数在定义时是相互独立的,它们之间是平行关系,所以不能在一个函数内部定义另一个函数,即不能嵌套定义。函数之间可以互相调用,但不能调用主函数。从使用者的角度来看,有两种函数:标准库函数和用户自定义功能子函     

知识推理描述语言MLND的归约实现模型RMND

本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。     

面向对象的函数式语言及其实现技术

ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序设计环境，探讨了对象函数式语言的一些实现方法，并在微机上实现了ＯＯＦＬ到Ｃ＋＋的转换系统。     

在函数式程序设计系统上进行逻辑程序设计

本文揭示逻辑程序设计语言与函数式程序设计(FP)语言之间的一种内在联系。文中工作表明,在FP系统上进行逻辑程序设计是可行的。用例子阐明了,在FP系统上如何进行Horn子句逻辑程序设计;并且指出了,在FP系统上进行逻辑程序设计的一般法则,这些法则如加以进一步细化并用FP语言编成翻译程序,则在FP系统上更可直接地进行Horn子句逻辑程序设计。