递归过程的程序变换 |
| |
引用本文: | 周炳生,章少华.递归过程的程序变换[J].杭州电子科技大学学报,1999,19(2):17-25. |
| |
作者姓名: | 周炳生 章少华 |
| |
作者单位: | [1]杭州应用工程技术学院 [2]杭州电子工业学院 |
| |
摘 要: | 本文提出了保持使用界面不变的递归过程程序变换的思想,给出了从递归过程到非递归过程的行文替换规则,并推广到递归函数和带变量形式参数的递归过程,本文还从递归过程程序变换的观点,对几种目前广泛使用的程序设计语言作了若干评论。
|
关 键 词: | 程序变换 递归过程 行文替换 程序设计 |
本文献已被 维普 等数据库收录! |
|