【面向对象的函数式语言的部分求值技术研究】李航.pdf

【面向对象的函数式语言的部分求值技术研究】李航.pdf

面向对象的函数式语言的部分求值技术研究 Research onTechnique ofPartial Evaluation of Object-OrientedFunctional Language 李航 导师:金成植教授 专业:计算机软件 吉林大学计算机科学系 一九九六年四月求 第点站论 1背 1由向对象的两数式语言OOFL L3本作 第章部分求值的原理及应用 2历史顾 2部分求纳的基本概念 2ra投影部分求值的应用 2部分求值研究的新进展.2面同对象语言的部分求值弟章面向对象的两数式语言OOFL 3(0H1的语法 11类型定义类定义1函数定义 1长达式 程 3的语告机制 2透(ReferentialIransparency)第一章绪论 第-一章绪论 本文研究广面向对家的的数式语言OOFL的部分求值技术及其实现.S1背景 部分求值Partiai主vauation)在软作优化和软件目动生成方面有重要的应用。部分求 俏的概念源于2演说相递1病数论,它的理论基础是著名的S-m-n定理,早期曾应用于增 最计算和编译优化军方间 1971年、Futamura从理论1提出:编译(compiling)及编译器(compiler)的自动生成均 可而部分求们完成,联而使得部分求值的研究得到了审大突破,也显示了部分求值在软 作优化及软件自动牛成中的市要地位。