摘要
对二阶A型Cooper变换进行增强,放宽可用性条件,并证明了其正确性,最后举例说明其应用。
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