Mathematica在横向程序变换中的应用

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：snowmanuser

【摘要】

：

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递

【作者】

：

徐锋峰蔡经球

【机构】

：

厦门大学计算机科学系,南京大学计算机软件新技术国家重点实验室

【出处】

：

小型微型计算机系统

【发表日期】

：

1999年10期

【关键词】

：

模式匹配规则程序变换抽象模式尾递归

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制，在ＶＢ５．０的环境下实现它们的应用

其他文献

区域性河流水质污染状况及防治策略

绿水青山就是金山银山,要像保护眼睛一样保护生态环境,像对待生命一样对待生态环境。这是习总书记对新时代我国社会发展的精准把脉,在五位一体总体布局中,生态文明是其中一位

期刊

区域性河流水质污染状况防治策略

论事业单位会计核算中存在的问题及其对策

事业单位与一般单位相比在体制上存在一定的特殊性,它们是我国社会生活中所不可或缺的重要组成部分,同时也在我国社会生活中发挥着积极的作用。事业单位发挥的作用并不仅仅局

期刊

事业单位会计核算问题对策

QOS接入控制必要性研究

网络资源匮乏是网络技术进一步发展过程所面临和必须解决的问题之一，本文通过分析流行的ＴＣＰ／ＩＰ协议的设计原则和机制，从一个崭新的角度在理论形式上证明，以ＴＣＰ／ＩＰ协议为主干协议而构造的网络

期刊

TCP/IP协议网络资源QOS接入控制计算机网络TCP/IPrealtime applicationNetwork resourceQOS admiss

火力发电技术的发展与展望

简要叙述和分析了我国火力发电技术及火电事业的发展历史和现状，以及火力发电的重要地位。从我国实际情况及可持续发展战略出发，对未来火电技术的发和了宏观的预测分析。

期刊

火力发电技术历史可持续发展

靶场飞行器安控管道自动生成方法研究

在试验中,保障航区附近重要目标的安全是地面安全控制系统的首要任务,如何科学、快速、严谨地设计并制作出合理的安控管道,已经成为靶场试验的重中之重。论文介绍了制作飞行

期刊

安全控制安控管道特征点自动生成

新时期传染病流行特点与防控对策浅议

传染病是对人体十分有害的一种疾病类型,从大方面讲会影响社会的稳定、国家的安全和经济的发展,因此,已经引起了社会各界的广泛关注。目前,传染病不仅在我国得到了重视,在世

期刊

传染病防控流行特点分析

浅谈高中英语阅读教学中“支架式”教学模式

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

高中英语阅读教学支架式

FPW对缓冲区溢出的实时检测

缓冲区溢出类的安全漏洞是最为常见的一种攻击形式.本文介绍了缓冲区溢出的机理和作者所设计的FPW(Frame Pointer Watcher).FPW通过监视前帧指针来实时检测对函数返回地址的

期刊

缓冲区溢出帧指针前帧指针返回地址buffer overflow frame pointer previous frame pointer return

拔牙矫治对面部侧貌影响的软组织头影测量研究

目的:探讨拔牙矫治对面部侧貌软组织平衡的影响.方法:选择15例以直丝弓矫治的拔牙矫治病例,对矫治前后患者的软组织侧貌的X 线头颅侧位定位片进行测量分析.结果:①拔牙矫治后

期刊

拔牙矫治软组织侧貌X线头影测量

面向对象技术中若干问题的探讨

本文就应用对象（ＯＯ）技术须着重注意的几个问题进行了探讨，这些问题包括信息组织，主题，分析和设计及重用等。

期刊

信息组织面向对象软件开发Information organizationSubjectAnalysisDesignReuse.

Mathematica在横向程序变换中的应用

与本文相关的学术论文