摘要
对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。
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.
出处
《高技术通讯》
CAS
CSCD
1995年第7期40-42,共3页
Chinese High Technology Letters
基金
863计划及国家自然科学基金
关键词
程序设计
递归变换
软件
自动化
Automatic programming,Program transformation,Transverse program transformation,Recursive transformation.Structure induction
