函数程序设计语言用于快速原型

1

作者 梅宏 孙永强 《计算机科学》 CSCD 北大核心 1992年第1期39-42,共4页

函数程序设计对减少大型软件系统开发的开销有着较大的潜力。本文讨论了函数程序设计在软件工程中的作用和地位,论述了函数语言作为规范原型工具的合适性,最后用一个例子展示了用函数语言建立系统原型的过程。

关键词 函数程序设计 快速原型 软件工程

在线阅读 下载PDF 职称材料

基于函数程序设计与基于逻辑程序设计的软件开发

2

作者 余金山 《计算机科学》 CSCD 北大核心 1992年第3期61-67,共7页

一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性... 一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性)、表达能力强。从软件工程的观点看,它们对提高软件生产率、降低高昂的软件开发成本,保证软件质量具有巨大的潜力。实际上,函数式语言就是为了解决“软件危机”由著名的计算机科学家 Backus 加以发展的。但是这两类语言自诞生后。 展开更多

关键词 逻辑程序设计 函数程序设计 软件开发 软件生产率 软件危机 函数式语言 软件质量 说明性 计算机科学家 软件工程

在线阅读 下载PDF 职称材料

并行函数/逻辑程序设计语言PRFUNLOG

3

作者 金海 李智勇 张运桢 《计算机工程与设计》 CSCD 北大核心 1992年第6期13-17,共5页

PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结构、系统流程以及PRFUNLOG系统较之其他并行系统的特点。

关键词 并行程序设计 程序设计语言 函数程序设计

在线阅读 下载PDF 职称材料

POOPL合成逻辑与面向对象的程序设计语言

4

作者 熊家军 顾国雄 《计算机工程与科学》 CSCD 1990年第3期72-77,共6页

为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合... 为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合成许多风格的语言。本文论述了合成面向对象与逻辑程序设计两种风格的必要性与可能性以及有关的技术难题,并且简单地介绍了我们研制的合成面向对象与逻辑程序设计两种风格的知识程序设计语言POOPL。它继承了面向对象程序设计对知识库的组织能力和逻辑程序设计对知识的表达能力,并且严格地区别面向对象与逻辑程序设计的语义,以求最大限度地挖掘面向对象程序设计与逻辑程序设计的全部优越性。 展开更多

关键词 逻辑程序设计 POOPL 面向对象 程序设计语言 函数程序设计 知识信息处理 软件生产率 PROLOG SMALLTALK 并行执行

在线阅读 下载PDF 职称材料

SIMPLE:一种新型多范型程序设计语言

5

作者 吴迪 陈林 徐宝文 《计算机科学》 CSCD 北大核心 2014年第7期1-8,44,共9页

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。 展开更多

关键词 程序设计语言 语言设计 多范型程序设计 面向过程程序设计 面向对象程序设计 函数式程序设计

在线阅读 下载PDF 职称材料

FOOD用于Cruise控制系统设计的研究

6

作者 陈火炎 《暨南大学学报（自然科学与医学版）》 CAS CSCD 1993年第1期20-26,共7页

将函数式面向对象设计工具FOOD用于Cruisc控制系统的设计,从而证实了这种工具用于实时系统设计是可行的,并指出在这一方面可能遇到的问题及进一步研究的方向。

关键词 函数程序设计 FOOD Cruise系统

在线阅读 下载PDF 职称材料

纯函数式I/O的操作语义 被引量：8

7

作者 袁华强 孙永强 《计算机学报》 EI CSCD 北大核心 1998年第11期1009-1014,共6页

目前被人们广泛采用的处理函数式I／O的机制有三种：Monad，Dialogue，CPS．本文采用CCS的理论和方法，把互模拟等价作为I／O程序的相等关系，描述了这三种I／O机制的操作语义，推导出这三种I／O机制相互之间的转换关系，从而证明了这三... 目前被人们广泛采用的处理函数式I／O的机制有三种：Monad，Dialogue，CPS．本文采用CCS的理论和方法，把互模拟等价作为I／O程序的相等关系，描述了这三种I／O机制的操作语义，推导出这三种I／O机制相互之间的转换关系，从而证明了这三种I／O机制在语义上是等价的． 展开更多

关键词 函数式程序设计 I/O 操作语义

在线阅读 下载PDF 职称材料

函数式语言泛型特性的研究与实现

8

作者 李阳 于尚超 王朋 《计算机工程与应用》 CSCD 2012年第28期71-76,共6页

对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行... 对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。 展开更多

关键词 泛型编程 类型抽象 函数式程序设计 语法扩展

在线阅读 下载PDF 职称材料

非线性冗余函数方程组的展开式解 被引量：1

9

作者 孙永强 袁华强 《上海交通大学学报》 EI CAS CSCD 北大核心 1995年第5期1-7,共7页

本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三次冗余函数方程组的展开式解，并给出了实例。

关键词 函数式程序设计 程序代数 非线性函数方程

在线阅读 下载PDF 职称材料

安全协议的测试与证明 被引量：1

10

作者 乔海燕 《计算机工程与应用》 CSCD 北大核心 2009年第4期26-29,共4页

提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数程序设计语言Haskell中完成。

关键词 测试 Needham-Schroeder-Lowe协议 函数程序设计

在线阅读 下载PDF 职称材料

苛求软件可靠性方法、技术与模型研究

11

作者 武延华 薛小平 王小平 《城市轨道交通研究》 北大核心 2012年第2期89-95,114,共8页

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类... 从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。 展开更多

关键词 苛求系统 软件可靠性 形式化方法 软件容错 函数式程序设计 评估模型

在线阅读 下载PDF 职称材料