一种基于表达式的泛函数程序设计语言
- 出版年：1993
- 作者：杨祥金；范伯南
- 单位1：东南大学计算机系
- 职称：副教授
- 语种：中文
- 作者关键词：泛函程序设计语言；髙阶；引用透明
- 起始页：16
- 总页数：7
- 刊名：计算机研究与发展
- 是否内版：否
- 刊频：月刊
- 创刊时间：1958
- 主办单位：中国科学院计算技术研究所；中国计算机学会
- 邮编：100080
- 卷：30
- 期：4
摘要
本文提出一种基于表达式的泛函程序设计语言，它的基础是A演算、SKI演算，这种语言具有高阶、引用透明、无副作用等良好的数学性质，是一种具有高度平行性并适合于多处理器机器上运行的非冯.诺依曼式语言。