关于递归程序变换的注记  

Note of on Recursive Program Transformation

作　　者：蔡经球[1] 

机构地区：[1]厦门大学计算机科学系

出　　处：《微电子学与计算机》1995年第6期45-46,共2页Microelectronics & Computer

摘　　要：关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言，递归算法的设计由于符合人的思维习惯（把“复杂情形”逐次归结为“较简单”情形），且结构清晰，因而易理解、易验...Abstract

关 键 词：程序变换 递归程序 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]