摘要
提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。
In this paper,an expansive Cooper transformation pattern is presented,its correctness is proved by the structural inductive method,and an application is given.
出处
《广西师范大学学报（哲学社会科学版）》
1996年第S2期221-224,共4页
Journal of Guangxi Normal University(Philosophy and Social Sciences Edition)
关键词
程序变换
递归变换
自动程序设计
program transformation
rrcursive transformation
automatic programming
