|
|||||
|
|
| 二阶A型Cooper变换的增强型 | |
| 引用本文： | 廖元秀,潘晓玲.二阶A型Cooper变换的增强型[J].高技术通讯,1995,5(7):40-42. |
| 作者姓名： | 廖元秀 潘晓玲 |
| 作者单位： | 广西师范大学数学系，北京轻工业学院自动化工程系 |
| 基金项目： | 863计划及国家自然科学基金 |
| 摘 要： | 对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。 |
| 关 键 词： | 程序设计 递归变换 软件 自动化 |
AModel of Improved Second -order A-Cooper Transformation |
|
| Liao Yuanxiu, Pan Xiaoling, Luo Xudong.AModel of Improved Second -order A-Cooper Transformation[J].High Technology Letters,1995,5(7):40-42. | |
| Authors: | Liao Yuanxiu Pan Xiaoling Luo Xudong |
| Abstract: | The second-order A-Cooper transformation is improved and its availability conditions are weakened in this paper.The correctness of the improved scheme is justified and its application is illustrated. |
| Keywords: | Automatic programming Program transformation Transverse program transformation Recursive transformation Structure induction |
| 本文献已被 CNKI 维普 等数据库收录！ | |