论文部分内容阅读
通过在子类型和超类型之间引进类型转换函数，推广了有序类别代数的定义，按照这一定义，一个类型可以不一定是它的超类型的子集这使得记录模式成为有序类别代数，为了描述类型之间的单继承关系，引进了森林类别型构的概念，给出了等式的新意义，并证明了等式理论有初始模型。
单继承纪录类型的代数描述
【摘 要】
：
通过在子类型和超类型之间引进类型转换函数，推广了有序类别代数的定义，按照这一定义，一个类型可以不一定是它的超类型的子集这使得记录模式成为有序类别代数，为了描述类型之间的
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1999年4期
其他文献
<正> 沁源是位于太岳山腹地的一个贫困县,全县15.3万人,1991年农民人均收入365元,我县自1987年开始推行计划免疫保偿,1990年扩大为孕产妇、儿童(含计划免疫)保健保偿(以下简
在Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ系统中，服务器的可用性是提高整个系统可用性的关键，采用多复制服务器是提高系统可用性的最有希望的手段，但是，复制数据更新过程中的阻塞问题是整个系统性能的一个瓶颈，本文提出
浙江上虞县卫生防疫站所谓水质自检是指集中式供水单位利用自身的检测设备、人员,对所供给的水定期进行采样,检测分析,从而掌握水质的动态变化,以便及时发现问题,采取相应对
逊克县边疆乡石砬子村农民郁治中来稿谈到他对初级卫生保健的认识和理解,他说:我认为初级卫生保健不仅仅是国家、政府和有关部门的事,更重要的是我们自己的事情。人要生存就
<正> 合作医疗风风雨雨几十年。举世瞩目。功在人民,但重建工作忧喜参半。笔者联系武进县重建工作的实践,试析重建工作的影响因素,以就教于同道。一、重建合作医疗保健制度的
<正> 村级妇幼保健工作是妇幼卫生工作的重点和难点。村级妇幼卫生队伍的状态直接关系着妇幼保健工作的质量。为了充分挖掘基层妇幼卫生人力资源,了解农村妇幼卫生人员这个特
数据模型的研究是设计按内容检索的图象数据库的基础。本文在超语义数据模型的基础上，提出了一种新的图象数据库系统模型。
目的探讨发现耐多药肺结核病人方式。方法从全市各辖市（县）、区结核病定点诊治单位筛选2007年1月至2008年12月登记的所有涂阳肺结核患者,留取痰标本送检。首先由各社区卫生服务
<正> 一、我国农村儿童营养性贫血患病情况我国农村学龄前儿童(0—5岁)贫血患病率较高。1990年全国儿童营养监测与改善项目的101个县基线调查结果表明,农村儿童的营养贫血患
目的评价含奈替米星和司帕沙星联合对耐多药肺结核（MDR-PTB）的疗效。方法 348例MDR-PTB患者,随机分为两组,以氧氟沙星和丁胺卡那霉素作为对照组。治疗组174例采用3NSDTZ（E）/9SDTZ