导读:本文包含了函数式语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:函数,语言,程序设计,范畴,抽象,业务流程,面向对象。
函数式语言论文文献综述
祝义,黄志球,周航[1]（2018）在《采用函数式语言的BPEL模型形式化验证方法》一文中研究指出通信顺序进程(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模型的可靠性。(本文来源于《计算机科学与探索》期刊2018年02期）
王贺塞[2]（2017）在《基于Hindley-Milner类型系统的函数式语言Leaf的设计实现》一文中研究指出Leaf语言的目标是设计一种简洁易用的函数式语言。这种编程语言是采用静态类型,可以进行类型推导的编译型语言。函数式语言具有较好的数学性质及高度的抽象性,因此具备了更强的生产力,更清晰的抽象模块能力和良好的可读性。Leaf语言采用接近脚本语言的语法,使其可容易扩展为游戏脚本引擎,浏览器脚本引擎,也可以作为一种通用的编程语言。其静态类型的安全可靠性可为浏览器和游戏脚本实现提供新的可行方案。本文分析了λ演算理论,讨论了程序语言实现的几种模式。通过分析程序语言和编译原理相关理论,设计了一种函数式语言,给出了其标准的文法定义,并通过编写编译器程序给出了实现方式,并进行了 一定的优化。本文首先设计了编程语言的核心语法,设计了文法产生式和中间语言格式,然后进行了软件整体结构设计,实现了编程语言的编译器,最后对所设计的编程语言的各种功能进行了测试。本文设计的编译器分为六个模块,分别是词法分析,语法分析,符号表,语义分析,中间代码生成和字节码解释模块。编译器的实现使用了 C#语言,给出了设计思路和部分数据结构代码。编译优化部分主要使用了与机器无关的优化对编译器进行优化。本文实现了带类型修正功能的自动类型推断的类型检查器,通过Hindley-Milner类型推断算法的推断错误会进一步在类型检查中完善,修正,进一步提高了类型推断能力。本文实现了 Leaf语言交互执行环境,用于解释代码字符串,实现了编译到字节码。(本文来源于《北京邮电大学》期刊2017-01-12）
袁晓月,刘素芬[3]（2015）在《函数式语言范畴描述研究》一文中研究指出函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质。(本文来源于《江西科学》期刊2015年05期）
何超勇[4]（2015）在《基于龙芯2F平台的函数式语言编译系统》一文中研究指出通用处理器是关系到国家命运的战略产业,其发展直接关系到国家的安全和技术创新能力,是国家的核心利益所在。中科院计算所从2001年开始研制龙芯系列处理器,经过十多年的积累和发展,目前产品线已经包括龙芯1号、龙芯2号、龙芯3号叁大系列,涵盖小、中、大叁类处理器和IP核。江苏中科梦兰电子科技有限公司作为龙芯的产业基地和龙头企业,一直致力于国产龙芯处理器相关产品的研发和市场化推广,目前已经自主研发了基于龙芯CPU的桌面计算机(福珑、灵珑、逸珑系列)、集群计算机(中科大KD-90系列)、触控终端查询机、移动平板计算机、教育云计算平台等多个系列的产品。U-Boot是一款由德国DENX小组开发的适用于多种嵌入式CPU的开源固件,支持MIPS、x86、ARM、XScale、Power PC等多种处理器架构。U-Boot固件兼具BIOS和bootloader的双重功能,除了支持嵌入式Linux系统的引导,还支持引导Net BSD、Vx Works、QNX、RTEMS、ARTOS、Lynx OS等多种嵌入式操作系统,因此在嵌入式开发领域有着非常广泛的应用。根据龙芯2F处理器和Lemote 8089D硬件平台的特点,通过对U-Boot固件和PMON 2000固件的对比分析,提出将U-Boot固件移植到该平台的方案。在分析了U-Boot固件的代码结构和启动流程之后,给出了移植的具体实施过程。针对该平台的特点,通过在U-Boot中整合VGA BIOS模拟器的方法,解决了在非x86体系结构的平台上使用通用显卡的问题。不同于常见的基于“图灵机”理论模型的命令式编程语言,函数式编程语言是基于“lambda算子”和“递归函数”理论模型的。虽然两者解决问题的能力在理论上是等价的,但是由于函数式语言“无副作用”这一特点,导致了其在单元测试、代码调试、程序并行以及程序热部署等方面都远远优于常见的命令式编程语言。介绍作为函数式语言基础的lambda算子的起源、功能和特点之后,在此基础上提出了一种ZL函数式编程语言。通过示例程序说明了ZL语言的语法特点,并自上而下地设计和实现了一个从ZL语言到目标硬件平台的编译系统。通过抽象分层的原理将整个编译过程划分为ZL语言到lambda算子、lambda算子到超级连接子、超级连接子到虚拟机指令和虚拟机指令到硬件平台这四个相对独立的子过程。经过半年的运行和调试,该系统可以成功地将ZL语言的程序编译生成目标平台的机器代码,达到了预期目标。(本文来源于《郑州大学》期刊2015-05-01）
孙曼晖[5]（2014）在《基于NVRAM的函数式语言容错机制研究》一文中研究指出高性能计算机正广泛应用于国家安全与经济社会各个领域,例如核物理研究、天气预报、石油勘探,生物制药,动画制作等与社会和个人紧密相关的产业与方向,极大推动了科技水平和经济实力的发展。随着高性能计算机系统的发展,高性能计算的规模不断扩大,计算能力不断增强,包含的处理器个数不断增加。而随着高性能计算机系统规模的不断扩大,高性能计算面临着可靠性问题的挑战,未来E级计算机系统的平均无故障时间大约只有一个小时,因此需要更高效的容错技术的支持。新型的NVRAM的非易失和高速访问的特性为容错技术的发展提供了新的机遇。NVRAM可以代替DRAM作为计算系统的主存,从而使应用运行在非易失的内存空间中,不需要再将数据备份至磁盘,降低了容错技术的开销和难度。NVRAM还可以代替磁盘或者成为内存与磁盘中间层的存储介质,其字节随机访问的特性以及媲美DRAM的高速读取可以大大提高容错技术的效率,体系结构变化也会促进发展出新型的容错技术。NVRAM的出现和应用将为容错技术的发展提供新的方向,促进新型容错技术的产生和发展。目前基于新型NVRAM的容错技术也在不断提出,但由于底层硬件特性发生了变化,现有的操作系统和运行时等上层结构并不适应NVRAM的特性,无法匹配新的体系结构的变化。容错的过程需要大量修改操作系统和运行时来适应新的存储结构,实现复杂并且难度较大。所以要实现简单高效的容错技术需要用户应用程序层面的语言模型支持,通过语言容错特性的天然支持来简化应用层与物理层之间的系统层的复杂性。综上所述,现有的高性能计算机系统面临着可靠性的挑战,传统的容错技术已经无法满足高性能计算的高速发展需求。在新型存储元器件NVRAM的兴起和应用的支持下,容错技术将有望出现新的发展,降低容错技术的开销,提高容错技术的效率。而现有的基于NVRAM的容错技术需要对系统进行大量修改,复杂性较高,实用性差,因此需要上层的语言模型支持来简化系统层,实现简单高效的容错系统。如何通过语言模型的支持实现简单高效的容错系统是本文的研究重点。本文主要从支持容错的语言模型研究,支持容错的数据管理和支持容错的运行时系统叁方面展开研究。1.容错语言模型的研究由于现有的基于NVRAM的容错技术,由于缺乏上层语言模型的支撑,其实现引入的开销过大,难以很好地应用。传统的命令式语言模型由于其执行过程不确定,多次调用存在副作用等特性,并不适应容错的需求。本文研究适合容错的语言模型,根据对现有语言的分析,结合容错的实际需求,找出不支持容错特性的语义并对其进行调整,提出支持容错的语言模型。根据容错的语言模型设计具有容错功能的简单高效的语言系统,并分析与容错语言模型接近的,具有容错优势的函数式语言系统,以设计基于函数式语言的容错语言系统。2.可容错的运行时系统的设计与实现语言模型不能缺少下层运行时系统的支撑。为实现对容错语言模型的支持,本文研究并分析函数式语言的运行时系统,深入理解程序运行细节,并结合容错需求对其进行设计和调整,以实现对上层容错语言模型的支持。通过运行时系统对函数式语言进行容错支持,实现函数式语言可以动态保存状态和掉电恢复执行的效果。3.可容错的数据管理机制的设计与实现语言模型在内存数据中的直接反映就是数据的内存分配和管理,数据管理的实现直接影响容错的方式和效果。本文研究并分析函数式语言的数据管理机制,通过分析其对容错技术实现的影响,根据容错模型的要求对其进行调整,设计出可支持容错特性的数据管理机制并实现具体的对内存数据的结构化管理和数据一致性的维护。(本文来源于《国防科学技术大学》期刊2014-11-01）
孙曼晖,卢凯,王小平[6]（2014）在《基于NVRAM的函数式语言容错机制》一文中研究指出随着高性能计算的发展,系统的容错能力越来越受到重视。现在新兴的硬件NVRAM由于其掉电非易失的特性为硬件容错带来了新的可能,同时函数式语言其清晰的数据结构和无副作用的语言特性使得其具有良好的容错和恢复特性。目前对函数式语言的容错方面的研究只应用到其并行条件下无竞争的特点,没有利用其数据特性做容错方面的支持。提出了基于函数式语言和NVRAM的结合,通过顶层语言和底层硬件的配合,实现对系统断电使得程序崩溃情况下的容错和数据恢复。(本文来源于《第十八届计算机工程与工艺年会暨第四届微处理器技术论坛论文集》期刊2014-07-31）
李阳,于尚超,王朋[7]（2012）在《函数式语言泛型特性的研究与实现》一文中研究指出对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。(本文来源于《计算机工程与应用》期刊2012年28期）
董诣[8]（2012）在《基于函数式语言的网络消息服务器的构建方法研究》一文中研究指出目前的软件业在互联网的普及下已经全面进入了互联网时代，科技和通信领域如闪电般迅速进步，全世界的人们可以空前地彼此接近。在互联网软件构建中，需要性能更好，稳定性更高，开发周期更短，更容易扩展的软件服务。与传统面向对象软件抽象模式完成不同，函数式语言拥有容错性好，在多核和集群下性能好，稳定性高等传统命令式语言不具备的特点，很容易达到良好的开发效率，也具备强大的易扩展性。因此非常适合开发大规模网络消息服务器。本文论述了在开发互联网应用中服务器程序需要达到的各种指标，比较了常规的几种并发程序开发模式，从需求分析，系统设计到实现，使用函数式语言Erlang语言在OTP（Open Telecom Platform）框架下开发了网络消息服务器，服务器基于消息驱动模型编写，服务器可以作为通用互联网服务的服务器，适合高并发链接的网站或者网络游戏应用。达到了单服务器负载并发请求时每秒处理7000个请求的性能。与业界性能领先的webserver等性能相近，同时在开发效率上接近目前流行的脚本语言。函数式语言良好的体系架构保证了开发该系统可以达到很好的灵活性，获得了快速迭代的开发效率。为了达到松散耦合的要求，实现了用消息队列模式来扩展系统功能，在大型网络服务器架构中作为业务逻辑处理模块。与使用一般命令式语言实现的原型系统做比较，分析了使用函数式语言开发高并发环境下的网络服务器程序中，在开发效率和执行效率均和传统模式开发的网络服务器的测试对比。指出了函数式语言在开发并行程序中的关键环节，分析了在并发程序中函数式语言比命令式语言更容易保证并行程序的性能和稳定性的关键因素。(本文来源于《上海交通大学》期刊2012-04-01）
韩祝鹏[9]（2010）在《纯粹之美——浅谈纯函数式语言Haskell》一文中研究指出程序的江湖中总是风水轮流转,前些年面向对象编程(OOP)当道,这几年函数式编程(FP)渐渐渗透进主流。莫要感叹世事变化莫测,让我们抛开纷杂的表象,追本溯源,来一次寻根之旅,领略下最纯粹的FP语言Haskell的美妙。(本文来源于《程序员》期刊2010年08期）
吕品,喻刚[10]（2009）在《函数式语言方法在网络交互程序中的应用》一文中研究指出网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之间切换,这样不可避免的会造成控制信息的丢失。为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(continuation passing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现。(本文来源于《计算机工程与设计》期刊2009年06期）
函数式语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Leaf语言的目标是设计一种简洁易用的函数式语言。这种编程语言是采用静态类型,可以进行类型推导的编译型语言。函数式语言具有较好的数学性质及高度的抽象性,因此具备了更强的生产力,更清晰的抽象模块能力和良好的可读性。Leaf语言采用接近脚本语言的语法,使其可容易扩展为游戏脚本引擎,浏览器脚本引擎,也可以作为一种通用的编程语言。其静态类型的安全可靠性可为浏览器和游戏脚本实现提供新的可行方案。本文分析了λ演算理论,讨论了程序语言实现的几种模式。通过分析程序语言和编译原理相关理论,设计了一种函数式语言,给出了其标准的文法定义,并通过编写编译器程序给出了实现方式,并进行了 一定的优化。本文首先设计了编程语言的核心语法,设计了文法产生式和中间语言格式,然后进行了软件整体结构设计,实现了编程语言的编译器,最后对所设计的编程语言的各种功能进行了测试。本文设计的编译器分为六个模块,分别是词法分析,语法分析,符号表,语义分析,中间代码生成和字节码解释模块。编译器的实现使用了 C#语言,给出了设计思路和部分数据结构代码。编译优化部分主要使用了与机器无关的优化对编译器进行优化。本文实现了带类型修正功能的自动类型推断的类型检查器,通过Hindley-Milner类型推断算法的推断错误会进一步在类型检查中完善,修正,进一步提高了类型推断能力。本文实现了 Leaf语言交互执行环境,用于解释代码字符串,实现了编译到字节码。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
函数式语言论文参考文献
[1].祝义,黄志球,周航.采用函数式语言的BPEL模型形式化验证方法[J].计算机科学与探索.2018
[2].王贺塞.基于Hindley-Milner类型系统的函数式语言Leaf的设计实现[D].北京邮电大学.2017
[3].袁晓月,刘素芬.函数式语言范畴描述研究[J].江西科学.2015
[4].何超勇.基于龙芯2F平台的函数式语言编译系统[D].郑州大学.2015
[5].孙曼晖.基于NVRAM的函数式语言容错机制研究[D].国防科学技术大学.2014
[6].孙曼晖,卢凯,王小平.基于NVRAM的函数式语言容错机制[C].第十八届计算机工程与工艺年会暨第四届微处理器技术论坛论文集.2014
[7].李阳,于尚超,王朋.函数式语言泛型特性的研究与实现[J].计算机工程与应用.2012
[8].董诣.基于函数式语言的网络消息服务器的构建方法研究[D].上海交通大学.2012
[9].韩祝鹏.纯粹之美——浅谈纯函数式语言Haskell[J].程序员.2010
[10].吕品,喻刚.函数式语言方法在网络交互程序中的应用[J].计算机工程与设计.2009
论文知识图
