论文部分内容阅读
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型。在此代数模型下讨论了归约语义及其性质，并给出了语言可归的充分条件。
Garment中的归约语义
【摘 要】
：
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型。在此代数模型下讨论了归约语义及其性质，并给出了语言
【机 构】
：
北京大学计算机科学与技术系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年6期
【基金项目】
：
国家自然科学基金
其他文献
当前畜牧业发展已经进人一个新阶段。规模化、集约化比重增加，畜产品数量与质量并重，畜牧业与整个社会和谐发展，成为这一阶段畜牧业的主要特征。同时，应当看到．新阶段的畜牧业也面
在传统的劳动价值理论中,劳动生产率作为影响商品价值量的重要因素,与单位商品的价值量成反比,这是理论界长期广泛应用的定论.但若深入研究这一理论,并从简单劳动和社会必要
在基于网络的计算机会议环境中，信息扩散技术是和信息压缩技术同样重要的改善会议性能的手段。文中根据分布处理的思想分别提出了面向局域网环境和面向广域网环境的分布式扩散
目的 探讨常规性的血液检查联合C反应蛋白（CRP）检验手段在细菌感染性的儿童疾病中诊断的作用.方法 本次研究对象为本院的100例细菌感染性的儿童疾病患者,按照随机分组的方式分
1、规定固定的就寝和起床时间。就寝时间应该符合你的生活方式,它还应是你长期坚持的日常习惯的一部分,它会告诉你的身体,该休息了。调整你体内的生物钟——每天起床时间不要
近年来,数据流挖掘已成为知识发现领域中的一个研究热点.数据流中数据的无限性和概念漂移等特征使得传统的分类算法不能很好地适用于数据流环境.提出了一种基于eEP的分类器集
食物中毒事件严重威胁人民的身心健康甚至生命,因此,做好食物中毒事件应急处置意义重大。然而,相关部门在处置食物中毒事件时,仍存在较多问题和不足,笔者通过对一起食物中毒
企业职工作为退休年龄政策调整的最大影响群体，其预期退休意愿及影响因素尤其值得关注。本文基于教育部哲学社会科学研究重大课题攻关项目“渐进式延迟退休年龄政策的社会经济
加强对检验科医源性感染控制工作的管理力度、完善规章制度、增强防护意识、改善检验科的硬件设施等。很大的程度上减轻了医源性感染的发生几率,有效地保护了实验室工作人员