| 实现函数式语言部分求值器的约束时间分析 |
| |
| 引用本文： | 吴晶 廖湖声. 实现函数式语言部分求值器的约束时间分析[J]. 计算机工程与科学, 1997, 19(1): 48-52 |
| |
| 作者姓名： | 吴晶 廖湖声 |
| |
| 作者单位： | 北京工业大学计算机学院 |
| |
| 基金项目： | 国家自然科学基金,北京市自然科学基金 |
| |
| 摘 要： | 文章研究部分求值技术中的约束时间分析（简称ＢＴＡ），介绍了一种高阶的函数式语言ＦＳＬ语言的部分求值器的ＢＴＡ。该部分求值器的ＢＴＡ由两个部分来实现：ＢＴＡ１和ＢＴＡ２，其目的是减少重复计算，提高部分求值的执行效率
|
| 关 键 词： | 函数式语言，部分求值，约束时间分析，高阶函数 |
Binding Time Analysis of Implementing Partial Evaluation for Functional Languages |
| |
| Wu Jing and Liao Husheng. Binding Time Analysis of Implementing Partial Evaluation for Functional Languages[J]. Computer Engineering & Science, 1997, 19(1): 48-52 |
| |
| Authors: | Wu Jing and Liao Husheng |
| |
| Abstract: | This paper is the research on binding time analysis in partial evaluation techniques.It provides the BTA in a partial evaluator for a kind of higher order functional language,which is called FSL.The BTA is implemented by two modules:BTA1 and BTA2.The purpose is to reduce redundant computation and raise the efficiency of partial evaluation. |
| |
| Keywords: | functional language partial evaluation binding time analysis higher order function. |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载免费的PDF全文 |
