关于函数式语言LFC实现问题的某些研究
文献类型：学位论文
| 作者 | 张荣华 |
| 学位类别 | 博士 |
| 答辩日期 | 2000 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 形式规约 函数式语言 虚拟机 中间代码 |
| 学位专业 | 计算机软件与理论 |
| 中文摘要 | 本文的研究是关于函数式语言LFC（Language For Context Free Recursive Function）的实现。LFC是基于上下文无关语言的一种函数式语言，它将上下文无关语言作为其基本的数据类型，并支持上下文无关语言上的递归函数。LFC的原理性计算方法是基于字符串的，它将LFC中值的短语结构推迟到最后阶段才处理，故在计算过程中造成大量的动态类型检查，这正是其运行效率不高的主要原因。针对这种情况而提出的另一种计算方法：基于树的计算能够较好地提高运行的效率。其主要思想就是用分析树的形式保存值的结构，在计算过程中以分析树的匹配，分解和合并替代字符串的比较，分解和合并。本文的工作是根据这种计算方法设计了一种中间代码和执行这种代码的虚拟机。文章详细介绍了将LFC的函数定义翻译成这种中间代码的过程，以及虚拟机执行这些代码的过程。最后，我们对比了两种计算方法的运行速度，并指出了还需进一步改进的地方。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 37 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/7168]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 张荣华. 关于函数式语言LFC实现问题的某些研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2000. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。