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

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

【摘要】

：

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

【作者】

：

徐锋峰蔡经球

【机构】

：

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

【出处】

：

小型微型计算机系统

【发表日期】

：

1999年10期

【关键词】

：

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

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

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

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

期刊

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

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

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

期刊

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

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

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

期刊

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

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

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

期刊

传染病防控流行特点分析

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

回回产卜爹仇贱回——回日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线头影测量

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

其他学术论文