Mathem atica在横向程序变换中的应用  

APPLICATION OF MATHEMATICA IN PROGRAM TRANSFORMATION ON THE SAME LEVEL

作　　者：徐锋峰[1] 蔡经球[2] 

机构地区：[1]厦门大学计算机科学系,厦门361005 [2]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《小型微型计算机系统》1999年第10期768-772,共5页Journal of Chinese Computer Systems

基　　金：南京大学计算机软件新技术国家重点实验室基金

摘　　要：本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍ ａｔｉｃａ３．０ 提供的ＭａｔｈＬｉｎｋ 机制，在ＶＢ５．０Applications of the pattern matching and rule principles of Mathematica in program transformation on the same level are reported. With two different abstract models as examples, Mathematica packages are built up to transform recursive programs into corresponding tail recursions. Then with the help of MathLink, the applications of the packages are realized under VB5.0.

关 键 词：程序设计方法学 数学软件系统 程序变换 

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