论文部分内容阅读
本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基础上，证明了Ｇａｒｍｅｎｔ中类型规则的语义可靠性．
Garment中多态类型的Ideal模型
【摘 要】
：
本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基础上，证明了Ｇａｒｍｅｎｔ中类型规则的语义可靠性．
【机 构】
：
北京大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1998年3期
【基金项目】
：
国家自然科学基金
其他文献
目的 总结分析老年真菌感染的临床特点、易患因素及治疗.方法回顾性分析我院2007年1月~2011年1月60例老年真菌感染患者.结果 60例均有基础疾病,长期使用广谱抗生素、激素、机
目的分析胸腺增生与伴胸腺瘤的重症肌无力患者临床表现及其胸腺病理类型和超微结构特点。方法对51例MG患者的病例资料进行回顾性分析。按照胸腺瘤组和胸腺增生组,对临床症状
近几年来,我们在抓好食品企业产品卫生质量自身管理的同时,对如何帮助食品生产企业建立自检系统方面,做了一些探索,并取得了明显成效,现介绍如下: 一、具体做法 1、新建食品
在回顾ＣＡＤ系统的几类系统模型并分析其优缺点的基础上，立足于ＣＡＤ系统的开放性，集成性和效率，运用基于组件的软件工程技术。
腰疝临床上罕见，多发生在老年。国外报道约300例。本病多由于腰部外伤后损伤肌肉或腰部手术后引起，特发性腰疝更少。少部分属于先天性。由于临床医生对其认识不足。治疗缺乏经
线裁剪是计算机图形学的重要基础问题之一。在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换，将裁剪问题简化为对两种基本情况的处理，并先后对被裁剪线段的首末端
晋中行署卫生局张新宪同志认为:要如期实现计划免疫工作两个85％的目标,目前形势不容乐观,需要认真总结经验,针对工作中的薄弱环节采取对策。当前计免工作申的薄弱环节主要有:
目的观察培美曲塞单药与联合卡铂治疗老年晚期肺腺癌的疗效及不良反应。方法56例晚期肺腺癌患者，培美曲塞单药治疗27例，培美曲塞联合卡铂治疗29例，评价疗效及不良反应。结果56例
目的探讨红霉素胸腔注射联合胸腔小导管负压吸引治疗老年COPD合并顽固性气胸的有效性及安全性。方法对35例老年COPD合并顽固性气胸的患者,采用胸腔小导管负压吸引,并胸腔内注