| 方程式语言中扩充高阶函数 |
| |
| 引用本文： | 陆汝占,奚宏伟.方程式语言中扩充高阶函数[J].上海交通大学学报,1993,27(6):8-13. |
| |
| 作者姓名： | 陆汝占 奚宏伟 |
| |
| 作者单位： | 上海交通大学计算机科学及工程系，上海交通大学计算机科学及工程系 |
| |
| 摘 要： | 本文在原有的方程式语言的基础上，扩充引入高阶函数，使得方程式语言的使用更为方便，表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式。系统将高阶形式转换成Ｃｕｒｒｙ形式，这样整个程序在原解释下运行。
|
| 关 键 词： | 方程式语言 高阶函数 Curry形式 |
An Extension to Equational Programming Language with High Order Functions |
| |
| Lu Ruzhan,Xi Hongwei.An Extension to Equational Programming Language with High Order Functions[J].Journal of Shanghai Jiaotong University,1993,27(6):8-13. |
| |
| Authors: | Lu Ruzhan Xi Hongwei |
| |
| Institution: | Lu Ruzhan;Xi Hongwei |
| |
| Abstract: | This paper intruduces an extension to equational language with high order functions. Both the first order functions and high order functions are allowed to apperar in the source programs of the language. An interpretation system will translate the high order form into the Curry's form. The translation techniques are based on Lambda-lifting technique. |
| |
| Keywords: | equational programming language high order function Curry's form translation technique |
| 本文献已被 CNKI 维普 等数据库收录！ |
