本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......

随着Internet技术的迅速崛起和在全球范围内应用的飞速发展，信息共享已经成为一种必然的要求，地理信息也不例外。集成分布式的、异构......

数据是地理信息系统(GeographicInformationSystem，简称GIS)最根本的基础，同时也是GIS项目中最昂贵的部分，一般占整个系统建设成本的5......

程序演化是根据某些法则从一个程序生成另一个新的程序,这两个程序在语义上是等价的,通过一系列保证正确性的对源程序的演化,进行......

高性能计算机正广泛应用于国家安全与经济社会各个领域,例如核物理研究、天气预报、石油勘探,生物制药,动画制作等与社会和个人紧......

供了一个优美独特的框架，但是函数式语言程序的执行效率低下。针对这个问题，本文将从以下几方面研究：　　 首先，本文通过研究函数式语......

随着软件系统的规模增长,其复杂程度越来越高。尽管函数式程序的执行效率低,但为解决这类问题提供了一个优美独特的框架。本文通过......

为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以......

软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现......