中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
关于函数式语言LFC实现问题的某些研究
作者: 张荣华
答辩日期: 2000
专业: 计算机软件与理论
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 形式规约 ; 函数式语言 ; 虚拟机 ; 中间代码
摘要: 本文的研究是关于函数式语言LFC(Language For Context Free Recursive Function)的实现。LFC是基于上下文无关语言的一种函数式语言,它将上下文无关语言作为其基本的数据类型,并支持上下文无关语言上的递归函数。LFC的原理性计算方法是基于字符串的,它将LFC中值的短语结构推迟到最后阶段才处理,故在计算过程中造成大量的动态类型检查,这正是其运行效率不高的主要原因。针对这种情况而提出的另一种计算方法:基于树的计算能够较好地提高运行的效率。其主要思想就是用分析树的形式保存值的结构,在计算过程中以分析树的匹配,分解和合并替代字符串的比较,分解和合并。本文的工作是根据这种计算方法设计了一种中间代码和执行这种代码的虚拟机。文章详细介绍了将LFC的函数定义翻译成这种中间代码的过程,以及虚拟机执行这些代码的过程。最后,我们对比了两种计算方法的运行速度,并指出了还需进一步改进的地方。
英文摘要: This thesis concerns the implementation of LFC(Language For Context Free Recursive Function). LFC is a kind of functional language defined on context free languages. It uses context free language as its data type and supports the recursive function on context free language. The elementary calculation method of LFC is string oriented, which processes the phrase structure of value in LFC at the final stage, and thus causes many dynamic type checks during calculation, which is the major reason of its unsatisfactory speed. Another computation method-Tree Oriented Calculation-can improve the speed greatly. The central point of this method is to keep to structure of the value in the syntax tree and substitute the comparison, disassembly and assembly of the syntax tree for those of the string. This thesis introduces a kind of intermediate code and the virtual machine to execute it. The detailed algorithm of translating the function of LFC into this intermediate code and the execution of the virtual machine are also discussed in this paper. Finally, we compare the result of these two calculation methods and point out the direction of future work.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7168
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW002136.pdf(828KB)----限制开放-- 联系获取全文

Recommended Citation:
张荣华. 关于函数式语言LFC实现问题的某些研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2000-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张荣华]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张荣华]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace