| 一阶扩展Cooper变换改进型 |
| |
| 引用本文： | 李芬兰,陈庆锋,唐柳英.一阶扩展Cooper变换改进型[J].广西师范大学学报(哲学社会科学版),1996(Z2). |
| |
| 作者姓名： | 李芬兰 陈庆锋 唐柳英 |
| |
| 作者单位： | 广西师范大学数学与计算机科学系 541004 |
| |
| 摘 要： | 提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。
|
| 关 键 词： | 程序变换 递归变换 自动程序设计 |
AN EXPANSIVE COOPER TRANSFORMATION |
| |
| Li Fenian Chen Qingfeng Tang Liuying.AN EXPANSIVE COOPER TRANSFORMATION[J].Journal of Guangxi Normal University(Philosphy and Social Science Edition),1996(Z2). |
| |
| Authors: | Li Fenian Chen Qingfeng Tang Liuying |
| |
| Abstract: | In this paper,an expansive Cooper transformation pattern is presented,its correctness is proved by the structural inductive method,and an application is given. |
| |
| Keywords: | program transformation rrcursive transformation automatic programming |
| 本文献已被 CNKI 等数据库收录！ |
