检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于Monad的纯函数式程序设计

软件学报 1996年第11期7卷 683-690页

作者：袁华强孙永强上海交通大学计算机科学与工程系

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

关键词：函数式程序设计纯函数式语言 Monad

在线全文

学校读者我要写书评

暂无评论

函数式语言FP中并行的开发和控制

计算机学报 1992年第5期15卷 321-331页

作者：孙永强袁伟上海交通大学计算机科学与工程系上海200030

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语... 详细信息

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理机软件模拟系统已在MIC-VAX Ⅱ上实现.文中最后给出了一些实验数据,这些数据有力地证明了多步向前驱动法的有效性,从而揭示了函数式语言并行处理是一非常有发展前途的研究方向.

关键词：函数式语言并行处理 FP语言

在线全文

学校读者我要写书评

暂无评论

函数式面向对象程序设计语言FOPL

计算机学报 1995年第4期18卷 281-289页

作者：梅宏孙永强北京大学计算机科学与技术系上海交通大学计算机科学与工程系

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题．

关键词： FOPL语言程序语言面向对象函数式

在线全文

学校读者我要写书评

暂无评论

一个函数式数据模型FM的完备性

软件学报 1991年第2期2卷 9-14页

作者：丁公才镇江船舶学院

模型完备性是衡量数据模型描述能力的一种重要特性。本文引入了一个函数式数据模型FM和查询语言FQL,定义了一种新的模型蕴含和完备的概念,最后,根据关系模型的有关特性(如蕴含、完备等),讨论FM的完备性。

关键词：函数式数据模型查询语言 FM

在线全文

学校读者我要写书评

暂无评论

函数式操作系统设计的自动机风格及其策略

计算机工程与科学 1990年第4期12卷 9-16页

作者：章远阳北京大学计算机系

本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述... 详细信息

本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述成一个层次结构的、作用式的自动机网。

关键词：自动机操作系统设计设计方法论函数式层次结构互连性命令流 apply 系统函数状态集

在线全文

学校读者我要写书评

暂无评论

开发中文函数式数据库语言的探讨

中南矿冶学院学报 1992年第4期23卷 459-466页

作者：邢琳中南矿冶学院计算机科学系

函数式数据库语言是一种新颖的数据库语言,它提供统一的计算模型和数据模型。数据库的定义、操作、查询都基于Lambda表达式和计算。函数式数据库语言继承了函数语言的杰出优点:高阶函数、惰性计算、抽象机制、模式匹配。本文讨论开发并... 详细信息

函数式数据库语言是一种新颖的数据库语言,它提供统一的计算模型和数据模型。数据库的定义、操作、查询都基于Lambda表达式和计算。函数式数据库语言继承了函数语言的杰出优点:高阶函数、惰性计算、抽象机制、模式匹配。本文讨论开发并行函数数据库语言的前景,探讨一些实现要素。

关键词：数据库中文函数式高级语言

在线全文

学校读者我要写书评

暂无评论

函数式程序设计

软件产业 1990年第7期 1-8页

作者：叶高英

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

逻辑式与函数式两种程序设计风格的结合

北京航空航天大学学报 1988年第4期 51-57页

作者：赵沁平

本文比较了逻辑式和函数式两种程序设计语言本质上的异同;介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。

关键词：程序设计风格函数式逻辑式语言函数定义

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

再论函数式程序設计語言的合成邏輯语义学

电子科技大学学报 1985年第2期 26-35页

作者：江明德

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合... 详细信息

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。

关键词：定义式 FP 合成子逻辑语义学 EK 函数式程序