关于函数式语言LFC实现问题的某些研究

来源 :中国科学院软件研究所 | 被引量 : 0次 | 上传用户:lvbei2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文的研究是关于函数式语言LFC(Language For Context Free Recurisive Function)的实现.LFC是基于上下文无关语言的一种函数式语言,它将上下文无关语言作为其基本的数据类型,并支持上下文无关语言上的递归函数,LFC的原理性计算方法是基于字符品的,它将LFC中值的短语结构推迟到最后阶段才处理,故在计算过程中造成大量的动态类型检查,这正是其运行效率不高的主要原因.针对这种情况而提出的另一种计算方法:基于树的计算能够较好地提高运行的效率.其主要思想就是用分析树的形式保存值的结构,在计算过程中以分析树的匹配,分解和合并替代字符串的比较,分解和合并.该文的工作是根据这种计算方法设计了一种中间代码和执行这种代码的虚拟机.文章详细介绍了将LFC的函数定义翻译成这种中间代码的过程,以及虚拟机执行这些代码的过程.最后,研究人员对比了两种计算方法的运行速度,并指出了还需进一步改进的地方.
其他文献
图书馆信息检索是图书馆自动化系统中非常重要的组成部分,随着Internet的迅猛发展,如何利用网络提供的广阔的信息服务空间成为一个重要的课题.该文针对利用WWW实现图书馆信息
该文首先做了以太网和ATM网络的比较,从而给出了以太网接入ATM网络的方法.接着,详细的介绍了ATM的信令技术,尤其对连接的建立和释放的过程做了细致的论述.最后,对基于pSOSyte
在"互联网+"时代,各行业都在进行对大数据、云端信息的应用创新探究,会计工作也在全面推行"互联网+"的应用。管理会计是国家大力提倡的发展方向,本文探讨了在"互联网+"环境下
该文以"操作系统"课程为实例,研究在计算机辅助教学课件中扩事音通道的技术,并开发了一个实用的、高自然度的汉语语音合成系统和一个扩展语音通道的操作系统课件MOSCAI的原型
该论文讨论了分布数据库整体概念,对企业内部网络Intranet进行了简单介绍,重点对基于Web技术的B/S数据库访问技术进行了探讨,在文章的最后给出了一个Intranet环境下分布式数
笔者在实际工作中,通过改造热力站内循环水泵,提出一种热力站节能改造的方法.
以成土建设、电气模型为载体,通过对变电站具体的成本、材料、劳动力、质量图纸、施工进度、工艺等信息综合,再利用BIM三维模型的特点进行平台汇集管理.最终实现为变电站提供
电子信息技术对电气自动化控制技术的整个发展过程来说有着十分重要的作用,也就是说电气自动化控制技术在一定程度上取决于电子信息技术.自上世纪50年代以来,人们已开始越来
层次图画图算法是有向图画图算法研究领域中的一个重要的研究方向,现在全世界许多学者正在从事这个方面的研究.该文阐述的是对层次图画图算法所作的研究.层次图是一种应用广
锅炉是工程项目建设中十分重要的基础设施,可以确保工程项目有序、稳定生产有着十分重要的作用,基于此,本文论述了锅炉安装要点以及如何做好调试工作.