期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到83篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Haskell:一种现代纯函数式语言 被引量：7
1
作者 张迎周 张卫丰 《南京邮电大学学报（自然科学版）》 EI 2007年第4期13-18,23,共7页
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这... 随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等。Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型。 展开更多
关键词 HASKELL 函数式语言 多态类型 高价函数 惰性计算
下载PDF
函数式语言中的赋值语句 被引量：7
2
作者 石跃祥 袁华强 +1 位作者 孙永强 陈静 《软件学报》 EI CSCD 北大核心 1999年第3期252-256,共5页
文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义。
关键词 赋值语句 程序设计语言 函数式语言
下载PDF
Haskell语言的惰性计算特性及其应用 被引量：4
3
作者 庞建民 赵荣彩 王倩 《计算机工程与应用》 CSCD 北大核心 2006年第10期97-99,122,共4页
Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁... Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁优美且功能强大的程序。 展开更多
关键词 函数式语言 HASKELL 惰性计算 列表内涵 高阶函数
下载PDF
Haskell语言的列表内涵特性及其应用 被引量：6
4
作者 庞建民 赵荣彩 《计算机工程与应用》 CSCD 北大核心 2005年第4期99-101,115,共4页
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却... Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却简短优美的程序。 展开更多
关键词 函数式语言 列表内涵 HASKELL 多态 高阶函数
下载PDF
采用函数式语言的BPEL模型形式化验证方法 被引量：5
5
作者 祝义 黄志球 周航 《计算机科学与探索》 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
CSC模型的协议与语言 被引量：4
6
作者 齐德昱 白云 林伟建 《计算机科学》 CSCD 北大核心 2002年第3期112-114,共3页
1.引言目前的网络计算模型大多基于客户/服务器模式,这种模式实质上是将任务串行地划分为两段,由客户和服务器分别执行.这种方式只适合一些简单的分布式计算,对于较复杂的计算,由于客户之间的通信不能透明地越过服务器,因此很不方便.最... 1.引言目前的网络计算模型大多基于客户/服务器模式,这种模式实质上是将任务串行地划分为两段,由客户和服务器分别执行.这种方式只适合一些简单的分布式计算,对于较复杂的计算,由于客户之间的通信不能透明地越过服务器,因此很不方便.最近有人提出三层服务模式.这种模式实质上是将任务串行地划分为三段,由三方顺序执行,开始的一方(记为A)称为客户,A的下一方(记为B)是A的服务器,B的下一方(记为C)是B的服务器.请求发送的次序为A-B-C,回送结果的次序是C-B-A.照此思想,可有更多层的服务模式.三层(或更多层)服务模式更加细化了任务,适合一些大型的数据库应用系统,如数据仓库(DW:Data Warehouse). 展开更多
关键词 网络协议 通信协议 CSC模型 函数式语言 客户/服务器
下载PDF
函数式语言的部分求值技术 被引量：3
7
作者 宋立彤 金成植 《软件学报》 EI CSCD 北大核心 1996年第5期306-313,共8页
本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
关键词 部分求值 抽象分析 函数式语言 程序语言
下载PDF
开源软件整合技术的分析 被引量：2
8
作者 季隽 叶海松 《电化教育研究》 CSSCI 北大核心 2008年第6期42-45,59,共5页
随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易把握,因此需要建立整合的技术范型来形成总体观。本文首先分析了整合的基本模式。然后通过对整合的核心问... 随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易把握,因此需要建立整合的技术范型来形成总体观。本文首先分析了整合的基本模式。然后通过对整合的核心问题的分析,提出了将pi-演算作为整合的设计语言。最后从领域语言角度分析了实现pi-演算的关键技术。 展开更多
关键词 开源软件 整合 PI-演算 领域语言 函数式语言
下载PDF
基于函数式语言和单体的编译教学实验平台研究与实践 被引量：3
9
作者 宋丽华 张兴元 王海涛 《计算机教育》 2020年第8期167-170,共4页
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及... 为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及对课程教学改革的要求,最后介绍编译原理课程改革具体实践并说明实践效果。 展开更多
关键词 编译原理 编译实验平台 函数式语言 ML语言 单体
下载PDF
项重写的图实现 被引量：2
10
作者 杨继锋 孙永强 《计算机工程》 CAS CSCD 北大核心 1998年第4期3-6,15,共5页
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究... 图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究了规则、共享和环生成的关系，从而指导操作，避免环的产生，保证正确性和完备性。以上结果能够用于指导项重写的图实现。 展开更多
关键词 项重写 图重写 图实现 函数式语言
下载PDF
一种基于Monad反射语言解释器的构造 被引量：2
11
作者 吕江花 金成植 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2003年第4期487-492,共6页
通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。
关键词 Monad方法 反射语言 解释器 HASKELL语言 函数式语言 形式化 程序设计语言 计算反射
下载PDF
递归程序设计原理 被引量：2
12
作者 丁志义 李全德 +1 位作者 陈华领 吴文贤 《教育技术导刊》 2008年第1期14-15,共2页
递归是程序设计和描述算法的一种有力的工具,递归是在数值计算、程序设计、数据结构、人工智能及其它领域应用广泛。从递归的算法分析以及公式化方法,讨论了递归程序设计的一般思想。
关键词 递归算法 可计算性函数 函数式语言
下载PDF
过程式语言到函数式语言的抽象方法 被引量：1
13
作者 金成植 刘磊 《计算机学报》 EI CSCD 北大核心 1997年第8期731-736,共6页
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．
关键词 过程式语言 函数式语言 目录代码
下载PDF
函数式程序设计语言的领军人物——北京大学讲座教授胡振江
14
作者 王玮 《科技成果管理与研究》 2020年第5期65-67,共3页
函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言... 函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言因为其表达能力强、并行能力好等方面的特点,在软件开发中的作用变得越来越重要。目前,几乎所有的主流程序设计语言都添加了函数式程序设计特征,大量不同领域的主流软件开发框架比如大数据处理S park框架等都直接采用函数式程序设计语言开发,程序语言科研界的大量论文也都直接基于函数语言进行讨论。 展开更多
关键词 函数式程序设计 函数式语言 程序设计语言 软件开发 大数据处理 程序语言 摩尔定律 函数语言
原文传递
思考函数式编程 被引量：2
15
作者 蔡学镛 《程序员》 2008年第7期96-98,共3页
函数式语言的编程是近来的热点,本期因此选登了两篇这方面的文章,可以促使我们对这方面的技术有一理解。FP的历史典故什么是面向对象编程（OOP）？只要你写过几年程序,如果你没太混的话,一定说得出封装、继承、多态这三个术语。什么是... 函数式语言的编程是近来的热点,本期因此选登了两篇这方面的文章,可以促使我们对这方面的技术有一理解。FP的历史典故什么是面向对象编程（OOP）？只要你写过几年程序,如果你没太混的话,一定说得出封装、继承、多态这三个术语。什么是函数式编程（Functional Programming,FP）？即使你写了很多年的程序,应该也是答不出来,大家对它相当陌生,很少有人能正确地叙述出函数式编程是什么, 展开更多
关键词 面向对象编程 函数式语言 历史典故 程序 多态
下载PDF
面向形式化验证的联锁翻译器软件设计 被引量：1
16
作者 王绍新 王燕芩 闫连山 《铁路通信信号工程技术》 2022年第2期18-23,42,共7页
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。
关键词 联锁系统 形式化验证 翻译器软件 OCaml 函数式语言
下载PDF
简单模式的一种匹配方法 被引量：1
17
作者 张强 陈海明 《计算机工程与应用》 CSCD 北大核心 2001年第17期63-66,163,共5页
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树... 模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下，该方法与LFC现有实现的空间复杂度一样，但当函数定义是部分构造式，而定义中的非项模式覆盖了较多项时，这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式，是一种通用的模式匹配方法。 展开更多
关键词 函数式语言 模式匹配 简单模式 LFC语言 形式规约语言
下载PDF
高阶代码消除性能比较框架的设计与实现 被引量：1
18
作者 赵迪 华保健 朱洪军 《计算机应用》 CSCD 北大核心 2016年第9期2481-2485,共5页
函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架。该框架采用了菱形的架构,平... 函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架。该框架采用了菱形的架构,平行地使用了闭包变换与函数消除两种高阶代码消除方法。设计了一种具有代表性的函数式语言——FUN语言,并以FUN语言为基础,给出了比较框架的一个完整实现。通过该系统,对闭包变换与函数消除的效率影响进行对比实验,选取具有典型特征的测试例,分别从生成代码的规模和运行效率方面对闭包变换与函数消除两种方法的结果进行比较。实验结果表明,与闭包变换相比,使用函数消除方式所得的目标代码量更少,最多可减少33.76%的目标代码量;并且运行效率更高,最多可提高69.51%。 展开更多
关键词 编译框架 函数式语言 高阶代码 闭包变换 函数消除
下载PDF
Haskell语言的惰性计算特性
19
作者 庞建民 赵荣彩 《信息工程大学学报》 2006年第1期63-66,共4页
惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但如何在实际编程中充分利用这一特性并不是一件容易的事情。该文详细介绍Haskell的惰性计算特性,阐述如... 惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但如何在实际编程中充分利用这一特性并不是一件容易的事情。该文详细介绍Haskell的惰性计算特性,阐述如何用这些特性来编写简洁优美的程序。 展开更多
关键词 惰性计算 函数式语言 HASKELL 高阶函数 列表内涵
下载PDF
一类递归函数的多态类型 被引量：1
20
作者 黄文集 《软件学报》 EI CSCD 北大核心 2004年第7期969-976,共8页
以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitions... 以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitionsystem)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统.对多态类型系统实现中的一些问题也进行了讨论.在实现多态之后,LFC的灵活性将得到增强,从而会为其应用创造更为有利的条件. 展开更多
关键词 函数式语言 多态 类型检查 递归函数 类型系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部