递归程序变换的一种新模式一CZ变换 |
| |
引用本文: | 蔡经球,张克均.递归程序变换的一种新模式一CZ变换[J].厦门大学学报(自然科学版),1988(4). |
| |
作者姓名: | 蔡经球 张克均 |
| |
作者单位: | 厦门大学计算机与系统科学系
(蔡经球),厦门大学计算机与系统科学系(张克均) |
| |
摘 要: | 本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。
|
关 键 词: | 程序设计方法学 自动程序设计 程序变换 递归程序 |
本文献已被 CNKI 等数据库收录! |
|