中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文
学科主题: 计算机软件
题名:
函数式语言LFC的Supercompilation技术研究
作者: 郑丽丽
答辩日期: 2010-06-08
导师: 陈海明
专业: 计算机软件与理论
授予单位: 中国科学院研究生院
授予地点: 北京
学位: 硕士
关键词: 监督式编译,LFC,Refal,类型,解释器
摘要: 监督式编译技术是提高程序运行效率的自动优化技术。虽被提出 40 多年,却不被多数人熟知。为了研究监督式编译,并扩展它的应用,对监督式编译技术做了详细的分析,并将监督式编译应用于函数式语言LFC. 目前最为成熟的监督式编译是基于 Refal 的监督式编译系统。为了将 Refal监督式编译应用于 LFC 语言,详细分析了 Refal 语言和 LFC 语言的语法,数据结构,模式匹配的求值规则等。并提出了将现有的监督式编译应用于 LFC 语言的方法。 监督式编译应用于 LFC的第一种方法是将 LFC程序转换为能够被监督式编译系统优化的程序,即 Refal 程序。为提高程序转换的效率,提出了介于LFC和Refal 之间的中间语言表达形式。根据优化技术中优化器自应用的研究,提出了监督式编译应用于LFC的第二种方法,即利用监督式编译器优化LFC中间语言的解释器和源程序。 由于实验中所使用的监督式编译系统是基于无类型语言 Refal 的 SCP, 而LFC 的类型由上下文无关文法定义。因此,程序转换过程中需对 LFC 程序进行类型检查。对函数定义中的模式使用静态类型检查,判断模式的类型是否为类型声明的子类型;对于程序运行中输入参数的类型检查,提出了新的方法,即将 LFC中的文法转换为 Refal 函数 Filter。程序运行时的输入首先被该函数使用。 实验表明, Filter 函数使得输入参数类型和文法所定义类型一致。同时,结果表明,利用解释器优化 LFC 程序的方法是可行的。针对两种方法的实验结果,分析了影响优化结果的因素。最后,总结并提出了下一步的工作。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/2849
Appears in Collections:计算机科学国家重点实验室 _学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
函数式语言LFC的Supercompilation技术研究.pdf(440KB)----限制开放 联系获取全文

Recommended Citation:
郑丽丽. 函数式语言LFC的Supercompilation技术研究[D]. 北京. 中国科学院研究生院. 2010-06-08.
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