| 扩展的Cooper变换 |
| |
| 引用本文： | 蔡经球,张克均.扩展的Cooper变换[J].厦门大学学报(自然科学版),1992,31(5):474-476. |
| |
| 作者姓名： | 蔡经球 张克均 |
| |
| 作者单位： | 厦门大学计算机系
(蔡经球)，厦门大学计算机系(张克均) |
| |
| 摘 要： | 提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。
|
| 关 键 词： | 程序变换 自动程序设计 Cooper变换 |
An Expansive Cooper Transformation |
| |
| Cai Jingqiu Zhang Kejung.An Expansive Cooper Transformation[J].Journal of Xiamen University(Natural Science),1992,31(5):474-476. |
| |
| Authors: | Cai Jingqiu Zhang Kejung |
| |
| Institution: | Dept. of Compu. |
| |
| Abstract: | In this paper, an expansive Cooper transformation pattern is presented, its correctness is proved by the structural inductive method, and an application example is given. |
| |
| Keywords: | Program transformation Recursive programming Automatic programming |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
