| 抽象算法C—T—ABS和ABSTRACT的理论推导与等价性证明 |
| |
| 引用本文： | 杨祥金.抽象算法C—T—ABS和ABSTRACT的理论推导与等价性证明[J].计算机研究与发展,1993,30(12):1-11. |
| |
| 作者姓名： | 杨祥金 |
| |
| 作者单位： | 东南大学计算机系 南京，210018 |
| |
| 基金项目： | 国家自然科学基金DDFP |
| |
| 摘 要： | ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及功能的等价证明。展示了对一输入，Ｃ－Ｔ－ＡＢＳ能生成较优化的代码，并对它们生成代码的长度及归约效率进行了比较。
|
| 关 键 词： | 抽象算法 λ演算 SKI演算 |
Theoretical Derivation and Equivalent Proof of Abstractive Algorithm C-T-ABS and Abstract |
| |
| Yang Xiangjin Southeastern University,Nanjing.Theoretical Derivation and Equivalent Proof of Abstractive Algorithm C-T-ABS and Abstract[J].Journal of Computer Research and Development,1993,30(12):1-11. |
| |
| Authors: | Yang Xiangjin Southeastern University Nanjing |
| |
| Affiliation: | Yang Xiangjin Southeastern University,Nanjing,210018 |
| |
| Abstract: | |
| |
| Keywords: | Abstractive algorithm lambda calculus SKI calculus |
| 本文献已被 CNKI 维普 等数据库收录！ |
