论文部分内容阅读
本文着重讨论模式匹配在函数语言中的作用,提出了函数定义和变量值定义中模式匹配的两个编译算法.分析表明,第二个编译算法较Augustsson在函数语言LML编译程序中所采用的算法要好.
模式匹配在函数语言中的作用及其编译算法
【摘 要】
：
本文着重讨论模式匹配在函数语言中的作用,提出了函数定义和变量值定义中模式匹配的两个编译算法.分析表明,第二个编译算法较Augustsson在函数语言LML编译程序中所采用的算法
【机 构】
：
清华大学,清华大学
【出 处】
：
计算机学报
【发表日期】
：
1989年11期
其他文献
目的为了观察碘仿与甲醛甲酚合用根管治疗慢性根尖周炎的疗效。方法对患牙根管内以甲醛甲酚蘸少许的碘仿棉捻根管消毒10d。结果治疗150颗患牙,有效率在90%以上。笔者自2000年
<正> 1.引言 并行推理是智能计算机研究领域的关键技术之一。目前,以基于一阶谓词演算的逻辑式程序设计语言为核心语言构作并行推理系统的研究工作虽处于实验阶段,但已成为一
NCGW是用于勘探地下水方面的专家系统,可预测勘探地下水的开发前景。本文对NCGW的结构和特点作了概要论述,主要讨论了知识表示、推理机构、知识获取和解释系统,并阐述了NCGW
本文提出了自动构造增量式LR(1)句法分析器的一个有效方法.用该方法构造得到的分析器不仅允许对原语句作多处修改,而且还允许奠基的LR(1)文法含有右边为空的产生式。为了分析
液体饲料是一种高能量高营养的饲料．也是一种补充饲料．它用量较少．但所起作用较大。畜禽对液体饲料容易消化吸收．增重抗病效果明显。液体饲料的添加方式是多样的。可添加在混合机
我国神舟7号3名航天员完成68h太空旅程及太空漫步后．于9月28日安然返回地球．神7的成功标志我国在科技上的优势．被我国领导人誉为是中国航天科技领域一次重大胜利。神7的成功标志
<正> 对一组具有到达时间T、执行时间c、截止时间d三要素的实时任务集(其中d—f≥7),其初始分配主要是指对每一处理机,选一尽可能大的任务子集,确定每一任务的实际
本文提出了一种新颖的分布式同步机制,此机制利用动态优先级来协调事务的数据操作,与各种解决此类问题的现有方法比较具有如下优点:事务的无用撤除运算较少且不会产生死锁。
OSI网络层主要负责提供端开放系统间建立、维持和终止网络连接的手段,还提供通过网络连接进行数据交换的功能和过程方面的手段,按照合理的开发规范研制OSI网络层是本文的主题