函数式语言相关论文
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻......
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方......
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......
该文给出从函数式语言Haskell到过程式语言C的转换技术.文中详细地介绍了转换中涉及的几项关键技术,包括:对于高阶函数定义,以及函......
本文的工作是为北京大学软件工程研究所正在研发的基于Erlang OTP(OpenTelecom Platform)的虚拟计算平台UniAS提供处理大文件数据......
随着Internet技术的迅速崛起和在全球范围内应用的飞速发展,信息共享已经成为一种必然的要求,地理信息也不例外。集成分布式的、异构......
数据是地理信息系统(GeographicInformationSystem,简称GIS)最根本的基础,同时也是GIS项目中最昂贵的部分,一般占整个系统建设成本的5......
程序演化是根据某些法则从一个程序生成另一个新的程序,这两个程序在语义上是等价的,通过一系列保证正确性的对源程序的演化,进行......
高性能计算机正广泛应用于国家安全与经济社会各个领域,例如核物理研究、天气预报、石油勘探,生物制药,动画制作等与社会和个人紧......
供了一个优美独特的框架,但是函数式语言程序的执行效率低下。针对这个问题,本文将从以下几方面研究:
首先,本文通过研究函数式语......
随着软件系统的规模增长,其复杂程度越来越高。尽管函数式程序的执行效率低,但为解决这类问题提供了一个优美独特的框架。本文通过......
安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要。本文提出了新的基于PVS的数据库安全策略模型分析......
该文基于抽象编译技术设计并实现了一自应用型的函数式语言部分求值器FMIX,与已知的国外同类其它部分求值器相比,FMIX在设计方法和实现策略上......
部分求值技术在软件工程与软件自动化领域中起着重要的作用,最近几年中我们在这一领域取得了一定的成果,并实现了几个实验性系统。这......
R·Milner在他的多元π-演算(〔1〕)里,引进了种类(sort)和分类(sorting)概念,这类似于函数式语言里的类型(type)和类型化(typeing)。在〔2〕里,Simon·J·Gay给出了一个推导满足已知代理的......
该文的研究是关于函数式语言LFC(Language For Context Free Recurisive Function)的实现.LFC是基于上下文无关语言的一种函数式语......
软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现......
对于八皇后问题,曾有许多人采用不同的程序设计语言和不同的算法加以解决,本文采用函数式程序设计语言Scheme的递归算法来解决八皇......
提出了一个基于重写技术的开发系统,它提供了扩展的函数语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明......
本文针对并行处理中并行颗粒度的控制问题,将惰性计值的延迟思想引入并行进程的生成过程中,并与文献[1,2]的LE计值语义相结合,提出了函数式语......
泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了......
作者在文中介绍了为适应新形势 ,在计算机辅助设计 AUTOCAD使用中 ,灵活运用AUTOLISP语言编制程序绘制图形 ,应将自学重点放到掌握......
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上,结合常用的模式匹配树的构......
本文基于MIMD计算机系统提出了函数式语言的并行LE机,并行LE在函数式语言FP的基本语义中增加对THREAD对象和延迟对象LOBJ处理的语义规则,其计算能力介于积......
在函数式语言中引入约束类型和优化规则定义机制,并将扩展的函数式语言与代数规约说明语言相结合,支持从规约到程序的设计,并提高编程......
<正> Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔......
<正>如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技......
一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的......
1.引言目前的网络计算模型大多基于客户/服务器模式,这种模式实质上是将任务串行地划分为两段,由客户和服务器分别执行.这种方式只......
本文对基于类型理论逻辑框架(LF)的语义性质验证加以研究,针对函数式语言LAZY-PCF+SHAR,利用计算机辅助推理方法和技术给出相应的形式化......
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服......
本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-......
本文介绍函数式语言SML窗口系统的设计和结构。该窗口系统实现了“事件驱动”的思想,主要面向于交互式应用。我们还描述了其中的一......
函数式程序的离散式延迟输入输出流廖湖声,吴晶(北京工业大学计算机学院北京100044)ADISCRETELAZYSTREAMFORINPUTANDOUTPUTINFUNCTIONALLANGUAGES¥LiaoHushengandWuJing(Com.........
惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但......
本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法,集合的引入改善限函数式程序的表达能力,并且为提高程......
文章分析了编译实现函数式程序设计语言的主要技术,总结出函数式语言实现方法的两条设计准则:(1)简化函数高用处理的同时,减少瞎迟求值参......
本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及......
本文基于函数式语言的并行LE计值语义,提出了一个针对TRAMSPUTER网络的函数式语言的并行抽象机模型-并行LE MACHINE在该抽象机由于LE计值分析方法的采用减少......
本语言基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高。......
文章探讨了怎样在线函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作指标语义,并用这些赋值操作义了一个简......
考虑了结合面向对象和函数式程序风范的问题。与这一方向的大多数方法相比,这种结合方法有下面两个优点:首先,结合了在广泛流行的几种......
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演......
定义了函数式语言SFL,给出了由SFL到PROLOG的一般性转换方法,设计并实现了自动转换系统。......