Pattern Matching Compilation of Functions Defined in Context-Free Languages

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:juhn7557
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new patt matching algorithm for LFC is presented, which can represent a sequence of patts as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for patt matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patts it may become complicated and further studies are needed.
其他文献
This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is given in terms of Duration Calculus which pro
本文通过对荣华二采区10
期刊
NSGA-Ⅱ在执行拥挤系数计算时不考虑父子代种群各自独立的个体分布情况,使某些在全局空间中分布优秀的个体被淘汰.针对NSGA-Ⅱ收敛结果的较差分布性,提出了改进算法(UEA-NSGA
期刊
教学活动是教师的教与学生的学的完美统一.教学构思是教师对课堂教学的规划、设计、假设、安排,是教学的预设和准备.这不仅要确立三维目标,更要从学生出发,学情出发,让课堂更
目的了解重庆市蟑螂种群的分布和密度变化,为制定有效的蟑螂防治措施和预防控制虫媒传播传染病的发生提供科学依据。方法参照国家标准GB/T 23795-2009开展蟑螂密度监测工作。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
含有α-Fe纳米晶的具有bcc结构的Fe-Zr-B非晶合金是极好的软磁材料。快淬的Fe-Zr-B非晶合金通过退火,就可在非晶基体中均匀地沉淀出纳米晶α-Fe,这种相转变受合金Zr含量的影响
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
“减负”减的是不合理、不必要的负担,但不是不要教学质量.这就需要教师改变教学方式,学生改变学习方式,学生要养成良好的学习习惯和掌握高效的学习方法.