函数式语言相关论文
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......
随着Internet技术的迅速崛起和在全球范围内应用的飞速发展，信息共享已经成为一种必然的要求，地理信息也不例外。集成分布式的、异构......
数据是地理信息系统(GeographicInformationSystem，简称GIS)最根本的基础，同时也是GIS项目中最昂贵的部分，一般占整个系统建设成本的5......
程序演化是根据某些法则从一个程序生成另一个新的程序,这两个程序在语义上是等价的,通过一系列保证正确性的对源程序的演化,进行......
高性能计算机正广泛应用于国家安全与经济社会各个领域,例如核物理研究、天气预报、石油勘探,生物制药,动画制作等与社会和个人紧......
供了一个优美独特的框架，但是函数式语言程序的执行效率低下。针对这个问题，本文将从以下几方面研究：
首先，本文通过研究函数式语......
随着软件系统的规模增长,其复杂程度越来越高。尽管函数式程序的执行效率低,但为解决这类问题提供了一个优美独特的框架。本文通过......
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以......
软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现......
对于八皇后问题,曾有许多人采用不同的程序设计语言和不同的算法加以解决,本文采用函数式程序设计语言Scheme的递归算法来解决八皇......
作者在文中介绍了为适应新形势 ,在计算机辅助设计 AUTOCAD使用中 ,灵活运用AUTOLISP语言编制程序绘制图形 ,应将自学重点放到掌握......
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构......
1.引言目前的网络计算模型大多基于客户/服务器模式,这种模式实质上是将任务串行地划分为两段,由客户和服务器分别执行.这种方式只......
通信顺序进程（communicating sequential process,CSP）是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服......
惰性计算特性是函数式程序设计语言Haskell的重要特征，在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题，但......
文章探讨了怎样在线函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作指标语义，并用这些赋值操作义了一个简......
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演......
通过定义一个简单的反射语言, 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器.......
目前数据迷惑通常是针对单一具体的数据结构,为了将相同的迷惑方法应用于不同的数据结构,提出了将迷惑看作数据求精,认为迷惑是一......
函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高......
为了从另一个角度提高决策树算法的效率,对标准的ID3决策树算法进行函数式语言Haskell描述,研究了程序演化策略,推衍出了一个高效......
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应......
ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序......
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的，我们考虑了ＧＯＴＯ语句的处理，因此，我们的方......
程序设计中的并行性可以区分为逻辑并行性和物理并行性,前者是一种程序构造工具,它通过任务复合来描述程序;后者涉及实现技术,它关......
随着各种并行计算机体系结构的出现及并行计算在各学科领域中的广泛应用,需要并行计算模型用以研究并行计算性质,分析并行算法;简......
2009年是《设计模式》出版15周年。15年来,《设计模式》一书影响了整整一代程序员,而且可以预料,它的影响还将继续下去。作者Erich......
计算机软件的发展受着许多因素的影响,它滞后于硬件,其安全性、可靠性和稳定性一直是人们关注的几个重要问题。 随着大型软件的......
当今社会、科技的发展对计算机的速度和精度有较高的要求。串行计算由于受到物理极限的限制，使得为了满足人类这一无止境的追求——......
云计算作为一种新型商业计算模型，引起学术界和产业界的重视。云计算的基础设施以分布式商用服务器为主，为便于程序开发人员快速实现......
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对......
随着各种开源软件在教学中得到越来越广泛的应用,开源软件整合成为教育信息化进程中的重要课题。由于整合所涉及的技术广泛且不易......
为了构建一种过程性知识表示与获取系统,设计了一个嵌入式函数式语言以及它的交互式语法制导编辑器和解释器;提出了这种上下文无关......
Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较......
网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之间切换,这......
Leaf语言的目标是设计一种简洁易用的函数式语言。这种编程语言是采用静态类型,可以进行类型推导的编译型语言。函数式语言具有较......
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言......
