函数式语言中的赋值语句 被引量：7

1

作者 石跃祥 袁华强 +1 位作者 孙永强 陈静 《软件学报》 EI CSCD 北大核心 1999年第3期252-256,共5页

文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义。

关键词 赋值语句 程序设计语言 函数式语言

在线阅读 下载PDF 职称材料

采用函数式语言的BPEL模型形式化验证方法 被引量：6

2

作者 祝义 黄志球 周航 《计算机科学与探索》 CSCD 北大核心 2018年第2期185-196,共12页

通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出... 通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出了一种基于函数式语言的BPEL模型验证方法。首先给出了基于CSP_M的BPEL模型建模与验证框架;其次给出了CSP_M的进程代数定义;再次详细描述了BPEL语言到CSP以及CSP_M的映射方法;最后以一个在线购物系统为例,讨论了该方法的使用效果。实验表明该方法可以提高BPEL模型的可靠性。 展开更多

关键词 函数式语言 通信顺序进程(CSP) 业务流程执行语言(BPEL) 形式化验证 模型检测

在线阅读 下载PDF 职称材料

Haskell:一种现代纯函数式语言 被引量：7

3

作者 张迎周 张卫丰 《南京邮电大学学报（自然科学版）》 EI 2007年第4期13-18,23,共7页

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这... 随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等。Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型。 展开更多

关键词 HASKELL 函数式语言 多态类型 高价函数 惰性计算

在线阅读 下载PDF 职称材料

纯函数式语言的I/O系统 被引量：5

4

作者 袁华强 肖倩 孙永强 《计算机科学》 CSCD 北大核心 1996年第6期6-9,共4页

函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所提供的基本函数为止。

关键词 纯函数式语言 I/O系统 程序语言

在线阅读 下载PDF 职称材料

基于Monad的纯函数式语言通道系统设计 被引量：2

5

作者 袁华强 孙永强 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页

本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。

关键词 纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程

在线阅读 下载PDF 职称材料

过程式语言到函数式语言的抽象方法 被引量：1

6

作者 金成植 刘磊 《计算机学报》 EI CSCD 北大核心 1997年第8期731-736,共6页

本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．

关键词 过程式语言 函数式语言 目录代码

在线阅读 下载PDF 职称材料

基于松散耦合MIMD计算机系统的函数式语言并行实现技术 被引量：1

7

作者 袁伟 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1993年第5期54-63,共10页

本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理... 本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理技术文入并行进程的生成过程中,因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。 展开更多

关键词 函数式语言 并行处理 多处理机

在线阅读 下载PDF 职称材料

函数式语言并行化的方法 被引量：1

8

作者 古志民 郑守淇 《计算机科学》 CSCD 北大核心 1995年第2期21-22,25,共3页

Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组... Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。 展开更多

关键词 函数式语言 并行化 数据结构

在线阅读 下载PDF 职称材料

函数式语言并行实现中并行颗粒度的动态控制 被引量：1

9

作者 袁伟 孙永强 《计算机学报》 EI CSCD 北大核心 1994年第3期212-217,共6页

本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义．由于采用ＩＨＲＥＡＤ来实现对并行归约子进程的延迟处理，... 本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义．由于采用ＩＨＲＥＡＤ来实现对并行归约子进程的延迟处理，使得并行计算进程在运行时可以动态增加其并行颗粒度，从而减少了一些不必要的细粒度并行性的开发．与文献［５］相比，由于基于负载的动态内联思想在延迟处理操作中的引入亦进一步减少了很大一部分延迟操作，进而提高了并发程序中细颗粒度并行性的开发效率．基于ＴＲＡＮＳＰＵＴＥＲ多处理机的实验显示本文方法具有一定的应用前景． 展开更多

关键词 函数式语言 并行处理 颗粒度

在线阅读 下载PDF 职称材料

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

10

作者 刘磊 袁琦 +1 位作者 张长海 金成植 《小型微型计算机系统》 EI CSCD 北大核心 1997年第3期56-61,共6页

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

关键词 程序转换 面向对象 函数式语言

在线阅读 下载PDF 职称材料

函数式语言方法在网络交互程序中的应用

11

作者 吕品 喻刚 《计算机工程与设计》 CSCD 北大核心 2009年第6期1315-1320,共6页

网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之间切换,这样不可避免的会造成控制信息的丢失。为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continu... 网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之间切换,这样不可避免的会造成控制信息的丢失。为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(continuation passing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现。 展开更多

关键词 函数式语言 程序延续 CPS 网络应用程序 交互式程序 CGI

在线阅读 下载PDF 职称材料

函数式语言并行处理中的动态调度问题的探讨

12

作者 孙永强 袁伟 《计算机工程与设计》 CSCD 北大核心 1993年第1期9-16,共8页

在本文中我们主要讨论了函数式语言在多处理机系统中并行处理时的动态调度问题。首先,我们分折了两种不同的调度模型:负载均衡和负载分享的优、缺点,以及相应的几种算法。最后我们基于负载分享模型提出了我们的算法,通过模拟测试表明我... 在本文中我们主要讨论了函数式语言在多处理机系统中并行处理时的动态调度问题。首先,我们分折了两种不同的调度模型:负载均衡和负载分享的优、缺点,以及相应的几种算法。最后我们基于负载分享模型提出了我们的算法,通过模拟测试表明我们的算法具有较好的性能,有良好的实用价值。 展开更多

关键词 并行处理 函数式语言 多处理机系统 动态调度

在线阅读 下载PDF 职称材料

在函数式语言SML中实现事件驱动多窗口系统

13

作者 林惠民 《计算机学报》 EI CSCD 北大核心 1990年第8期569-575,共7页

本文介绍函数式语言SML窗口系统的设计和结构。该窗口系统实现了“事件驱动”的思想,主要面向于交互式应用。我们还描述了其中的一个工具包,并通过一个实际的例子来说明其应用。

关键词 函数式语言 SML 事件驱动 窗口系统

在线阅读 下载PDF 职称材料

基于TRANSPUTER网络的函数式语言的并行抽象机模型

14

作者 袁伟 孙咏强 《软件学报》 EI CSCD 北大核心 1995年第8期493-499,共7页

本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在... 本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率． 展开更多

关键词 函数式语言 并行处理 抽象机模型

在线阅读 下载PDF 职称材料

函数式语言的部分求值技术 被引量：3

15

作者 宋立彤 金成植 《软件学报》 EI CSCD 北大核心 1996年第5期306-313,共8页

本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．

关键词 部分求值 抽象分析 函数式语言 程序语言

在线阅读 下载PDF 职称材料

实现函数式语言部分求值器的约束时间分析 被引量：1

16

作者 吴晶 廖湖声 《计算机工程与科学》 CSCD 1997年第1期48-52,共5页

文章研究部分求值技术中的约束时间分析（简称ＢＴＡ），介绍了一种高阶的函数式语言ＦＳＬ语言的部分求值器的ＢＴＡ。该部分求值器的ＢＴＡ由两个部分来实现：ＢＴＡ１和ＢＴＡ２，其目的是减少重复计算。

关键词 函数式语言 部分求值 约束时间分析 软件工程

在线阅读 下载PDF 职称材料

一种函数式语言到PROLOG的转换技术

17

作者 宋立彤 金成植 魏仲慧 《吉林大学自然科学学报》 CAS CSCD 1996年第1期30-34,共5页

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．

关键词 函数式语言 SFL PROLOG 程序转换 程序语言

在线阅读 下载PDF 职称材料

函数式语言对数字电路的描述,综合及模拟

18

作者 胡振江 孙永强 夏心杰 《计算机学报》 EI CSCD 北大核心 1990年第6期441-448,共8页

本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电... 本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。 展开更多

关键词 函数式语言 数字电路 FP-1语言

在线阅读 下载PDF 职称材料

高阶函数式语言的部分求值器

19

作者 陆卫东 金成植 《软件学报》 EI CSCD 北大核心 1996年第10期634-640,共7页

本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析。

关键词 部分求值 抽象分析 高阶函数式语言 部分求值器

在线阅读 下载PDF 职称材料

高阶函数式语言到逻辑式语言的转换

20

作者 宋立彤 金成植 王丹茹 《软件学报》 EI CSCD 北大核心 1996年第10期611-615,共5页

本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．

关键词 程序语言 高阶函数式语言 逻辑式语言

在线阅读 下载PDF 职称材料