| 泛函程序设计语言实现中的图归约演算 |
| |
| 引用本文： | 杨祥金. 泛函程序设计语言实现中的图归约演算[J]. 计算机研究与发展, 1993, 30(12): 12-25 |
| |
| 作者姓名： | 杨祥金 |
| |
| 作者单位： | 东南大学计算机系 南京，210018 |
| |
| 摘 要： | 本文叙述了在Ｖｏｎ Ｎｅｕｍａｎｎ机器上实现基于λ演算，ＳＫＩ演算的泛函程序设计语言所采用的图归约演算。ＳＫＩ－Ｇ演算是ＳＫＩ演算的图形表示，是基于图形的形式归约系统，面向机器实现，是实现高阶，引用透明，归约语义，全惰性泛函程序设计语言的主要技术基础。
|
| 关 键 词： | 图归约演算 程序语言 |
Graphic Reduction Calculus in Implementation of Functional Programming |
| |
| Yang Xiangjin Northeastern University,Nanjng. Graphic Reduction Calculus in Implementation of Functional Programming[J]. Journal of Computer Research and Development, 1993, 30(12): 12-25 |
| |
| Authors: | Yang Xiangjin Northeastern University Nanjng |
| |
| Affiliation: | Yang Xiangjin Northeastern University,Nanjng,210018 |
| |
| Abstract: | |
| |
| Keywords: | Graphic reduction calculus functional programming. |
| 本文献已被 CNKI 维普 等数据库收录！ |
