排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
Mathematica在横向程序变换中的应用 总被引：3，自引：0，他引：3
本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制,在ＶＢ５．０的环境下实现它们的应用。 相似文献
1